Curated Open Source
Find and compare open-source repositories that match "rax", with project details, activity, releases, and contributors.
2 repositories found
KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)
Configure Neovim with Nix! [maintainers=@GaetanLepage, @traxys, @mattsturgeon, @khaneliman]
