Popular repositories Loading

1. Oasis Oasis Public

   Forked from open-algebra/Oasis

   Open Algebra Software for Inferring Solutions

   C++

2. WUSBS WUSBS Public

   Wildly Unsafe Simple Build System (WUSBS) - a simple C/C++ build system

   C++

3. middle-c middle-c Public

   A programming language based on C/C++, and and a compiler for that language

   C++

4. graveler-softlock-pick graveler-softlock-pick Public

   A solution to Austin Hourigan's soft-lock picking simulation challenge

   C++

5. mcsl mcsl Public

   Middle-C Standard Library

6. inform inform Public

   Generate formal logic proofs

   C++