Pinned Loading

1. recastnavigation/recastnavigation recastnavigation/recastnavigation Public

   Industry-standard navigation-mesh toolset for games

   C++ 7.9k 1.8k

2. Fuzzlyn Fuzzlyn Public

   Fuzzer for the .NET toolchains, developed as a project for the 2018 Language-Based Security course at Aarhus University.

   C# 250 19

3. AU-COBRA/ConCert AU-COBRA/ConCert Public

   A framework for smart contract verification in Coq

   Rocq Prover 128 24

4. MetaRocq/metarocq MetaRocq/metarocq Public

   Metaprogramming, verified meta-theory and implementation of Rocq in Rocq

   Rocq Prover 549 99