Popular repositories

1. metrinome metrinome Public

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

   Python 37 2

2. metrinome_data metrinome_data Public

   C 1

3. coq-group-theory coq-group-theory Public

   Coq files for group theory

   Python 1

4. opam-coq-archive opam-coq-archive Public

   Forked from coq/opam

   Archive for all Coq related OPAM packages organized in various repositories

   OCaml 1

5. code-comprehension-challenge code-comprehension-challenge Public

   A repository for the challenge site code.

   LLVM 1

6. code-comprehension2 code-comprehension2 Public

   A website for conducting a code-comprehension study.

   LLVM 1