Rust implementation of the Messaging Layer Security (MLS) protocol

A privacy-preserving home security camera that uses advanced end-to-end encryption.

A pure C library for interacting with the Cardano blockchain. Compliant with MISRA standards and binding-friendly architecture.

Prometheus.io Haskell client.

Load a GHCi session for a Haskell project and reload it when source files change

IP Routing Table in Haskell

Automatic testing of Haskell programs.

Recover run-time type information from the GHC heap. One example use case is a "show anything" function (with no Show constraint).

Utilities for working with the GHC eventlog

GHC plugin to add eventlog tracing for foreign function calls

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

Cardano Data Node

Rust-native building blocks for the Cardano blockchain ecosystem

Go implementation of the Cardano Ouroboros family of protocols

A Terminal User Interface for the Glasgow Haskell Compiler Interactive Mode

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

A collection of modern/faster/greater alternatives to common UNIX commands, which is maintained.

Retrying for humans using Haskell.

Declarative and reproducible Jupyter environments - powered by Nix

GHC .prof files viewer

fugitive.vim: A Git wrapper so awesome, it should be illegal

rhubarb.vim: GitHub extension for fugitive.vim

Lightweight and composable servers for Haskell

Haskell QuasiQuoter for String Formatting

Cardano Explorer App

GraphQL API for Cardano