SBOM, provenance, dependency graph, and vulnerability tools for Nix.

Generated files for SuttaCentral editions

Python library for portfolio optimization built on top of scikit-learn

audit your cabal projects for haskell-specific security-advisories

Collection of image builders [maintainer=@Lassulus]

Fast equality saturation in Haskell

An educational OLAP database system.

High-performance JSON to GRON (greppable, flattened JSON) converter

Robust recipes to align language models with human and AI preferences

Exported, Nix-based monorepo tooling from TVL. In use for our repo at https://code.tvl.fyi

Pure, statically typed, content-addressable, programming language for spreadsheet use

Issues and proposals related to the HF Stability Working Group

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

SDK for private data access, built on homomorphic encryption.

Explain why two Nix derivations differ

Automatically-updated Hydra status of the `haskell-updates` branch in Nixpkgs

A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory

Tvix - A Rust implementation of Nix. Read-only mirror of https://code.tvl.fyi/tree/tvix

A Haskell library for containers to extend the containers and unordered-containers packages.

HGeometry is a library for computing with geometric objects in Haskell. It defines basic geometric types and primitives, and it implements some geometric data structures and algorithms.

The Art of the Propagator. See also:

TerminusDB is a distributed, collaborative database designed for building, sharing, versioning, and reasoning on structured data.

Difference lists in Haskell

Multi-tenant Nix Binary Cache

SuttaCentral website application

The Haskell Foundation Tech Proposal Process