Lists (1)
Stars
SBOM, provenance, dependency graph, and vulnerability tools for Nix.
Python library for portfolio optimization, factor model construction, and risk management built on 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 Knowledge Graph Database with Version Control. Time-travel, reason, collaborate, branch, merge, diff, and query your data with Datalog.
The Haskell Foundation Tech Proposal Process