Trending Haskell repositories on GitHub โ ranked by total activity score (stars, forks, pushes, PRs) over the past month.
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 ๐ฑ!
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.
A shell script which checks your $HOME for unwanted files and directories.
Pipe your nix-build output through the nix-output-monitor a.k.a nom to get additional information while building.
A Direct-to-Driver open mobility platform powering the next-generation of mobility applications in India.
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.
Monoscope lets you ingest and explore your logs, traces and metrics. We store these in S3 compatible buckets. Query in natural language via LLMs.
Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces.
โ๏ธ SimpleXMQ - A reference implementation of the SimpleX Messaging Protocol for simplex queues over public networks.
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).
Official Haskell IDE support via the language server protocol (LSP)
A framework for program analysis with a focus on modeling programmer assumptions, context- and path-sensitive analyses, and type checking.
A programming language in Turkish where grammatical case and mood are part of the type system.
The core of xmonad, a small but functional ICCCM-compliant tiling window manager
Agda is a dependently typed programming language / interactive theorem prover.
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.
Crucible is a library for symbolic simulation of imperative programs
๐ฅ 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 component that follows the Cardano chain and stores blocks and transactions in PostgreSQL
datatypes and functions for easily working with passwords in Haskell
:boom::computer::boom: A data-parallel functional programming language
Fast, portable and reliable dependency analysis for any codebase. Supports license & vulnerability scanning for large monoliths. Language-agnostic; integrates with 20+ build systems.