Pinned Loading

1. cheat cheat Public

   Forked from Tordek/cheat

   Convenient unit testing framework for the C programming language.

   C 168 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. rocq-prover/rocq rocq-prover/rocq Public

   The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environmen…

   OCaml 5.4k 716