Skip to content
@hmc-alpaqa

hmc-alpaqa

Popular repositories Loading

  1. metrinome metrinome Public

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

    Python 42 4

  2. braitenberg-vehicles braitenberg-vehicles Public

    JavaScript 3

  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

Repositories

Showing 7 of 7 repositories
  • braitenberg-vehicles Public
    JavaScript 3 0 0 0 Updated Aug 22, 2024
  • metrinome Public

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

    Python 42 GPL-3.0 4 1 9 Updated May 10, 2024
  • code-comprehension2 Public

    A website for conducting a code-comprehension study.

    LLVM 1 0 0 0 Updated May 26, 2022
  • code-comprehension-challenge Public

    A repository for the challenge site code.

    LLVM 1 0 0 0 Updated Aug 3, 2021
  • coq-group-theory Public

    Coq files for group theory

    Python 1 0 0 0 Updated Jul 30, 2021
  • opam-coq-archive Public Forked from rocq-prover/opam

    Archive for all Coq related OPAM packages organized in various repositories

    OCaml 1 LGPL-2.1 177 0 0 Updated Jun 23, 2021
  • metrinome_data Public
    C 1 0 0 0 Updated Feb 24, 2021

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…