Popular repositories Loading

1. CoqPerceptron CoqPerceptron Public

   Verified Coq Implementation of the Perceptron Algorithm

   Coq 6 1

2. Vector Vector Public

   Simple C++ library implementing 2D, 3D, and 4D vectors and 3D and 4D Matrices.

   C++ 3 1

3. 2PAQ 2PAQ Public

   Two Phase Commit with Apportion Queries (2PAQ)

   C++ 2 1

4. MatchEmbeds MatchEmbeds Public

   A practical algorithm for the structure embedding problem

   C++ 2

5. duet duet Public

   Forked from zkincaid/duet

   Duet: static analysis for unbounded concurrency

   C

6. srk srk Public

   Forked from zkincaid/srk

   Symbolic Reasoning Kit

   OCaml