Haskell

SimpleX - the first messaging network operating without user identifiers of any kind - 100% private by design! iOS, Android and desktop apps 📱!

A fast, safe, and intuitive DataFrame library.

REST API for any Postgres database

A Direct-to-Driver open mobility platform powering the next-generation of mobility applications in India.

ClickHouse Native protocol driver in Haskell

Haskell implemented with combinators

Functional choreographic programming in Haskell

A shell script which checks your $HOME for unwanted files and directories.

Pipe your nix-build output through the nix-output-monitor a.k.a nom to get additional information while building.

OpenTelemetry support for the Haskell programming language

Generator of runtime monitors for flight and robotics applications.

Compiler for the Gren programming language

An advanced keyboard manager

ShellCheck, a static analysis tool for shell scripts

Emanate a structured view of your plain-text notes

Dockerfile linter, validate inline bash, written in Haskell

A programming language in Turkish where grammatical case and mood are part of the type system.

A prompt engineering functional programming language

An experimental proof assistant based on a type theory for synthetic ∞-categories.

Ethereum smart contract fuzzer

CSL citation processing library in Haskell

Site infrastructure for gwern.net. Custom Hakyll website with unique link archiving, popup UX, transclusions/collapses, dark+reader mode, bidirectional backlinks, and typography (sidenotes, dropcaps, link icons, inflation-adjustment, subscripted-citations).

Command line client for Nix binary cache hosting:

Linux VR Desktop

An unofficial rules-compliant browser based version of Arkham Horror: The Card Game. Not produced, endorsed, or supported by, or affiliated with Fantasy Flight Games.

HTTP/3 library in Haskell

A statically typed lisp, without a GC, for real-time applications.

Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces.

The Daml smart contract language

The official formatter for Nix code

:boom::computer::boom: A data-parallel functional programming language

Haskell library for the Microsoft Language Server Protocol

Specifications of network protocols and implementations of components running these protocols which support a family of Ouroboros Consesus protocols; the diffusion layer of the Cardano Node.

🌀 Safe, performant, user-friendly and lightweight Haskell standard library

Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with the newcomers info (https://gitlab.haskell.org/ghc/ghc/wikis/contributing).

Fast, portable and reliable dependency analysis for any codebase. Supports license & vulnerability scanning for large monoliths. Language-agnostic; integrates with 20+ build systems.

Haskell to VHDL/Verilog/SystemVerilog compiler

Espial is an open-source, web-based bookmarking server.

🔥 The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and programmer happiness

a fast, extensible, type driven Haskell ECS framework for games

Functional reactive web and mobile applications, with batteries included.

Tensors and neural networks in Haskell

Servant is a Haskell DSL for describing, serving, querying, mocking, documenting web applications and more!

The Software Analysis Workbench

:ramen: A tasty Haskell web framework

Industrial-strength monadic parser combinator library

API for protocol buffers using modern Haskell language and library patterns.