Port opt-env-conf from Haskell to Lean

Property-based testing for web UIs, autonomously exploring and validating correctness properties, finding harder bugs earlier

SQLite bindings for Lean

Tagref helps you manage cross-references in your code.

A mod for factorio that changes the map into a real-world map.

collection of one-shot scripts to install NixOS on various server hosters and other hardware. [maintainer=@happysalada]

Automatically add import statements

Generate type-safe code from SQL

RPC client and server library for Scala

A Nix library to download files from the internet without requiring a hash

A markup-based typesetting system that is powerful and easy to learn.

Example to illustrate how to set up incremental Haskell Nix builds

DSP Documentation

Brute force nix store path prefixes

a truly censorship-resistant alternative to Twitter that has a chance of working

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

Simplified nix packaging for various programming language ecosystems [maintainer=@DavHau]

A fast email parsing library implemented in Haskell

⛵ Parse and render JSON.

♞ lichess.org: the forever free, adless and open source chess server ♞

An easy to use, cross platform, GUI library for writing Haskell applications.

Analyze GHC .dump-timings files

Matrix.org haskell client library

Documentation about Haskell's dangerous functions and a hlint config file to warn about them

A HUnit/hspec assertion to verify that an expression does not typecheck

Find your open-soulmate <💜>

Standard set of packages and overlays for data-scientists [maintainer=@tbenst]