NeonOxide
Follow
-
-
-
-
certicoq Public
Forked from CertiRocq/certirocqA Verified Compiler for Gallina, Written in Gallina
Rocq Prover MIT License UpdatedDec 9, 2025 -
-
par-lang Public
Forked from par-team/par-langPar (⅋) is an experimental concurrent programming language. It's an attempt to bring the expressive power of linear logic into practice.
Rust MIT License UpdatedNov 17, 2025 -
certicoq_riscv_benchmarks Public
A repository to keep track of the results and steps required with compilation from Coq to Riscv
Rust UpdatedOct 28, 2025 -
-
-
tree-sitter-nrsec Public
Forked from tree-sitter/tree-sitter-rustGrammar for tree-sitter for NRsec
JavaScript MIT License UpdatedApr 1, 2025