Pipe your nix-build output through the nix-output-monitor a.k.a nom to get additional information while building.
- nix
- haskell
- hacktoberfest
- nom
Repository Index
59,621 visible repositories in the index
1–4 of 4 · Most stars
Generator of runtime monitors for flight and robotics applications.
- assurance
- autonomy
- cfs
- embedded-systems
Tool for generating Locally Nameless definitions and proofs in Coq, working together with Ott
Initialise scaffolding for a new Elm project