Manage system config using nix on any distro

The Eta Programming Language, a dialect of Haskell on the JVM

A utility for displaying the module dependencies of Haskell programs.

Hive OS client for GPU rigs

Tiny type-checker with dependent types

GUI library for Haskell based on GTK+

Generate Haskell bindings for GObject-Introspection capable libraries

CI and hosting for nix-based, flakified github repos

The cryptography-based networking stack for building unstoppable networks with LoRa, Packet Radio, WiFi and everything in between.

🌿 Foliage is a tool to create custom Haskell package repositories, in a fully reproducible way.

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

Formal Reasoning About Programs

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 Direct-to-Driver open mobility platform powering the next-generation of mobility applications in India.

Maintainable configuration files

A kind synthetic Euclidean Geometry proof assistant

OpenTelemetry support for the Haskell programming language

Type-safe error handling

OAuth credential Manager

Dependent Lens FRP and concurrent model in Agda

A collection of awesome CRDT resources

Unison file synchronizer

Noir is a domain specific language for zero knowledge proofs

Maintainable configuration files

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