pwm

nixpkgs

Nix Packages collection & NixOS

alignment-handbook

Robust recipes to align language models with human and AI preferences

terminusdb

TerminusDB is a distributed database with a collaboration model

nixos-generators

Collection of image builders [maintainer=@Lassulus]

risinglight

An educational OLAP database system.

dream2nix

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

attic

Multi-tenant Nix Binary Cache

fastgron

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

tvix

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

sdk

SDK for private data access, built on homomorphic encryption.

nix-diff

Explain why two Nix derivations differ

1lab

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

propagators

The Art of the Propagator. See also:

rel8

Hey! Hey! Can u rel8?

BosqueCore

suttacentral

SuttaCentral website application

hgeometry

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 main two focusses are: (1) Strong type safety, and (2) implementations of geometric algorithms and data structures that have good asymptotic running time guarantees.

static-ls

hegg

Fast equality saturation in Haskell

error-messages

tech-proposals

The Haskell Foundation Tech Proposal Process

dlist

Difference lists in Haskell

stability

Issues and proposals related to the HF Stability Working Group

inflex

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

cabal-audit

audit your cabal projects for haskell-specific security-advisories

kit

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

nix-haskell-updates-status

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

extended-containers

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

jet-stream

Oh dear, yet another streaming library.

home-manager-configuration