Giters
hmc-alpaqa

hmc-alpaqa

Geek Repo

Github PK Tool:Github PK Tool

hmc-alpaqa's repositories

metrinome

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

Language:PythonLicense:GPL-3.0Stargazers:37Issues:6Issues:5

braitenberg-vehicles

Language:JavaScriptStargazers:0Issues:0Issues:0

code-comprehension-challenge

A repository for the challenge site code.

Language:LLVMStargazers:0Issues:0Issues:0

code-comprehension2

A website for conducting a code-comprehension study.

Language:LLVMStargazers:0Issues:0Issues:0

coq-group-theory

Coq files for group theory

Language:PythonStargazers:0Issues:0Issues:0

metrinome_data

Language:CStargazers:0Issues:0Issues:0

opam-coq-archive

Archive for all Coq related OPAM packages organized in various repositories

Language:OCamlLicense:LGPL-2.1Stargazers:0Issues:1Issues:0