Nix

(WIP) Trillium Devlog: Reproducible Python
A method of producing reproducible and containerized PyTorch environments via Nix and Poetry
tools    nix / python / torch
Announcing the Release of Pantograph v0.2.13
A machine-to-machine proof assistant interface
matp    nix / lean
Trillium Devlog: Calling Lean from Rust
tools / sde    nix / rust / lean
Trillium Devlog: A Rust development environment in Nix
tools / sde    nix / rust / emacs