Haskell

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

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

Command-Line Normalizer, Rewriter, and Dataizer of 𝜑-Calculus Expressions

Automatically generate Haskell bindings from C header files

REST API for any Postgres database

ShellCheck, a static analysis tool for shell scripts

A fast, safe, and intuitive DataFrame library.

Haskell implemented with combinators

Extend Cabal build-depends from the command line

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

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

ClickHouse Native protocol driver in Haskell

Dockerfile linter, validate inline bash, written in Haskell

Functional choreographic programming in Haskell

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

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.

Compiler for the Gren programming language

Interactively browse dependency graphs of Nix derivations.

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

Ethereum smart contract fuzzer

Emanate a structured view of your plain-text notes

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

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

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

An advanced keyboard manager

👩‍🏫 👨‍🏫 Learn Haskell basics in 4 pull requests

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

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.

The official formatter for Nix code

Command line client for Nix binary cache hosting:

HTTP/3 library in Haskell

🔥 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 free and opensource platform for studying the artificial language Lojban.

A functional programming language with static memory management

The Daml smart contract language

Symbolic formula representation and solver interaction library

A friendly programming language from the future

The core of xmonad, a small but functional ICCCM-compliant tiling window manager

Smart contract specification language

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

SystemVerilog to Verilog conversion

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

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