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 39 3

  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

Repositories

Showing 7 of 7 repositories
  • braitenberg-vehicles Public
    hmc-alpaqa/braitenberg-vehicles’s past year of commit activity
    JavaScript 0 0 0 0 Updated Jun 12, 2024
  • metrinome Public

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

    hmc-alpaqa/metrinome’s past year of commit activity
    Python 39 GPL-3.0 3 1 9 Updated May 10, 2024
  • code-comprehension2 Public

    A website for conducting a code-comprehension study.

    hmc-alpaqa/code-comprehension2’s past year of commit activity
    LLVM 1 0 0 0 Updated May 26, 2022
  • code-comprehension-challenge Public

    A repository for the challenge site code.

    hmc-alpaqa/code-comprehension-challenge’s past year of commit activity
    LLVM 1 0 0 0 Updated Aug 3, 2021
  • coq-group-theory Public

    Coq files for group theory

    hmc-alpaqa/coq-group-theory’s past year of commit activity
    Python 1 0 0 0 Updated Jul 30, 2021
  • opam-coq-archive Public Forked from coq/opam

    Archive for all Coq related OPAM packages organized in various repositories

    hmc-alpaqa/opam-coq-archive’s past year of commit activity
    OCaml 1 LGPL-2.1 172 0 0 Updated Jun 23, 2021
  • metrinome_data Public
    hmc-alpaqa/metrinome_data’s past year of commit activity
    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…