Pinned Loading

1. cheat cheat Public

   Forked from Tordek/cheat

   Convenient unit testing framework for the C programming language.

   C 170 8

2. dez dez Public

   Formalization of discrete exterior calculus.

   Coq 7

3. brittle-matter-matters brittle-matter-matters Public

   Implementation of a force-based discrete element method as applied to shearing brittle surfaces.

   C

4. pen-of-pigs pen-of-pigs Public

   Simplified implementation of the path integral ground state quantum Monte Carlo method.

   C

5. tmvs tmvs Public

   Temperature and moisture visualization system for building automation.

   MATLAB

6. coq/coq coq/coq Public

   Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…

   OCaml 4.9k 661