@alexghr
Started working on a tool to build Noir programs with Nix this weekend. It's pretty bare-bones right now (only supports self-contained programs, no dependencies) but I'm thinking of integrating proving and verifying of circuits too 🙂
https://github.com/alexghr/shroud