Popular repositories Loading

1. metrinome metrinome Public

   Create CFGs and compute complexity metrics for Python, C++, and Java code.

   Python 43 4

2. braitenberg-vehicles braitenberg-vehicles Public

   JavaScript 4

3. metrinome_data metrinome_data Public

   C 1

4. coq-group-theory coq-group-theory Public

   Coq files for group theory

   Python 1

5. opam-coq-archive opam-coq-archive Public

   Forked from rocq-prover/opam

   Archive for all Coq related OPAM packages organized in various repositories

   OCaml 1

6. code-comprehension-challenge code-comprehension-challenge Public

   A repository for the challenge site code.

   LLVM 1