Haskell

Universal markup converter

REST API for any Postgres database

jupyter / jupyterlite kernel for Haskell powered by WebAssembly

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

ShellCheck, a static analysis tool for shell scripts

A fast, safe, and intuitive DataFrame library.

Wrench - is a tool for educating computer architecture.

A modern step-through debugger for GHC Haskell

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.

HVM3

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

Haskell implemented with combinators

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

⏩ 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

EOPL in Haskell

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.

Dockerfile linter, validate inline bash, written in Haskell

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

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

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

A friendly programming language from the future

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

An advanced keyboard manager

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 statically typed lisp, without a GC, for real-time applications.

Graph programming language

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

Compiler for the Gren programming language

Emanate a structured view of your plain-text notes

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

The official formatter for Nix code

A framework for program analysis with a focus on modeling programmer assumptions, context- and path-sensitive analyses, and type checking.

Haskell bindings for MLIR

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

Calendar of Public Holidays in China 中国大陆节假日日历订阅 自动节假日闹钟

Generator of runtime monitors for flight and robotics applications.

Generate nix sources expr for the latest version of packages

Interactively browse dependency graphs of Nix derivations.

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

Implementation of the Hydra Head protocol

A prompt engineering functional programming language

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.

Ethereum smart contract fuzzer

Bluespec Compiler (BSC)

A formatter for Haskell source code