🔮
λ
Rust • Scala • Haskell — Formal Methods • FP • Type Theory • Distributed Systems
- Lausanne, Switzerland
- https://romac.me
- @romac@hachyderm.io
- @romac.me
Highlights
Stars
❄️ Nix
8 repositories
Build Rust projects in Nix - no configuration, no code generation, no IFD, sandbox friendly.
A Nix library for building cargo projects. Never build twice thanks to incremental artifact caching.
An archive-less dockerTools.buildImage implementation
Tvix - A Rust implementation of Nix. Read-only mirror of https://code.tvl.fyi/tree/tvix
no-nixpkgs standard library for the nix expression language







