Haskell

jupyter / jupyterlite kernel for Haskell powered by WebAssembly

REST API for any Postgres database

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.

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

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

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

EOPL in Haskell

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

Dockerfile linter, validate inline bash, written 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.

Functional choreographic programming 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

An advanced keyboard manager

Emanate a structured view of your plain-text notes

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

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

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

Haskell bindings for MLIR

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

Compiler for the Gren programming language

Interactively browse dependency graphs of Nix derivations.

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

The official formatter for Nix code

Ethereum smart contract fuzzer

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.

Command line client for Nix binary cache hosting:

SystemVerilog to Verilog conversion

Bluespec Compiler (BSC)

A component that follows the Cardano chain and stores blocks and transactions in PostgreSQL

A formatter for Haskell source code

Crucible is a library for symbolic simulation of imperative programs