Lists (1)
Stars
A suite of utilities to help with software supply chain challenges on nix targets
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]
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.
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.
TerminusDB is a distributed, collaborative database designed for building, sharing, versioning, and reasoning on structured data.
The Haskell Foundation Tech Proposal Process