Stars
DeterminateSystems / nix-src
Forked from NixOS/nixNix, the purely functional package manager
Codebase for the paper "MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types"
Experiment in new Go builders for Nix (not a go2nix tool)
Go library for deriving age X25519 identities deterministically from keys or passwords.
An archive-less dockerTools.buildImage implementation
Brings native understanding of Nix packages to containerd
NixOS profiles for servers [maintainer=@numtide]
buildGoCache speeds up nix's buildGoModule by pre-compiling imported go modules
Minimal Kotlin and Nix flake example (with Gradle 8 support)
A Certificate Transparency log implementation and monitoring API designed for scalability, ease of operation, and reduced cost.
Utilities to reproducibly build images for AWS Nitro Enclaves
Hard Drive S.M.A.R.T Monitoring, Historical Trends & Real World Failure Thresholds
Tiny Nix utility to write nix shell scripts for `//` languages
Implementation of Multi-Paxos, a consensus algorithm, following the paper "Paxos Made Moderately Complex" by Robbert van Renesse and Deniz Altınbüken.
Discussions: https://matrix.to/#/#Jovian-Experiments:matrix.org