Jane Street's standard library overlay (kernel)
Repository Index
47,133 repositories indexed
25–31 of 31 · Most stars
Nix overlay for Lean 4, and lake2nix
A lightweight, flexible, and safer alternative to chroot and/or Docker.
- chroot-environment
- chroot
- linux
- namespace
Nixpkgs overlay with Firefox binary builds for macOS
♾️ ACTIVE: Filesystem Activities
- mix
- mad
Common Lisp module for Nix, without Quicklisp
- common-lisp
- nix
- overlay
- asdf
An exokernel operating system written in Rust