Repositories list

• braitenberg-vehicles

  Public
  JavaScript

  •0•3•0•0•Updated Aug 22, 2024Aug 22, 2024

• metrinome

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

  pythoncontrol-flow-graphcomplexity+ 4cyclomatic-complexitynpathkleepath-complexity

  Python

  •

  GNU General Public License v3.0

  •3•41•1•9•Updated May 10, 2024May 10, 2024

• code-comprehension2

  Public
  A website for conducting a code-comprehension study.

  LLVM

  •0•1•0•0•Updated May 26, 2022May 26, 2022

• code-comprehension-challenge

  Public
  A repository for the challenge site code.

  LLVM

  •0•1•0•0•Updated Aug 3, 2021Aug 3, 2021

• coq-group-theory

  Public
  Coq files for group theory

  Python

  •0•1•0•0•Updated Jul 30, 2021Jul 30, 2021

• opam-coq-archive

  Public
  Archive for all Coq related OPAM packages organized in various repositories

  OCaml

  •

  GNU Lesser General Public License v2.1

  •135•1•0•0•Updated Jun 23, 2021Jun 23, 2021

• metrinome_data

  Public
  C

  •0•1•0•0•Updated Feb 24, 2021Feb 24, 2021