Haskell

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

REST API for any Postgres database

A fast, safe, and intuitive DataFrame library.

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.

Haskell implemented with combinators

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

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

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.

⏩ 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

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]

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

An advanced keyboard manager

Graph programming language

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

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

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

Compiler for the Gren programming language

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

Haskell bindings for MLIR

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.

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

Generator of runtime monitors for flight and robotics applications.

Emanate a structured view of your plain-text notes

Generate nix sources expr for the latest version of packages

Interactively browse dependency graphs of Nix derivations.

A friendly programming language from the future

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

A formatter for Haskell source code

Bluespec Compiler (BSC)

Smart contract specification language

❇️ A WebSocket JSON/RPC bridge for Cardano

An hledger/ledger-cli workflow focusing on automated statement import and classification