Haskell

Universal markup converter

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

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

REST API for any Postgres database

ShellCheck, a static analysis tool for shell scripts

A modern step-through debugger for GHC Haskell

Accelerate building apps on Canton Network using this quickstart to start quick!

HVM3

L4 - rules-as-code - is an open-source functional specification language for business rules, legal contracts, and legislation/regulation, with a CNL syntax for isomorphism.

Automatically generate Haskell bindings from C header files

A modular game engine and ECS for Haskell

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

Haskell implemented with combinators

A friendly programming language from the future

Dockerfile linter, validate inline bash, written in Haskell

⏩ NeoHaskell is a dialect of Haskell that is focused on newcomer-friendliness and productivity.

Haskell interactive serverside web framework inspired by HTMX, Elm, and Phoenix LiveView

👒 Trilby is a NixOS-based operating system that is modeled after Fedora Linux. It provides new users with sensible defaults and a great out-of-the-box experience.

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

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

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.

Nix expressions for VS Code Marketplace and Open VSX extensions [maintainers=@deemp, @ameertaweel]

Symbolic and concrete EVM execution engine

⚙️ SimpleXMQ - A reference implementation of the SimpleX Messaging Protocol for simplex queues over public networks.

An advanced keyboard manager

Exercises for EOPL in Haskell

ABS/MBS cashflow engine written in Haskell, with API to Python and C/Java (on the way)

Generator of runtime monitors for flight and robotics applications.

Haskell library and json-api for composing Cardano transactions and working with off-chain cardano blockchain.

Compiler for the Gren programming language

The official formatter for Nix code

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

Emanate a structured view of your plain-text notes

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

EOPL in Haskell

Generate nix sources expr for the latest version of packages

An easy to use, fast extensible effects library with seamless integration with the existing Haskell ecosystem.

Graph programming language

Haskell bindings for MLIR

Agda is a dependently typed programming language / interactive theorem prover.

🐹 Fast, lightweight & configurable chain-index for Cardano.

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).

Monoscope lets you ingest and explore your logs, traces and metrics. We store these in S3 compatible buckets. Query in natural language via LLMs.

A prompt engineering functional programming language

Official Haskell IDE support via the language server protocol (LSP)

Interactively browse dependency graphs of Nix derivations.

The Lamdera compiler extends the official Elm compiler with tooling that works for any regular Elm frontend project, as well as specific features for Elm projects on Lamdera: A delightful platform for full-stack Elm web apps.

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