Popular repositories Loading

1. lean-quantum lean-quantum Public

   Formalized quantum computing in Lean theorem prover

   Lean 21 4

2. simple-sat-solver-mojo simple-sat-solver-mojo Public

   A simple SAT solver implemented in Mojo compared to Python and C++ counterparts

   Python 3

3. bedrock-examples bedrock-examples Public

   Coq 2

4. WebWindowServer WebWindowServer Public

   Proof-of-Concept implementation of Web Window Server

   JavaScript 2 1

5. field-fft-mojo field-fft-mojo Public

   Fast Fourier Transform (FFT) over Finite Field implementation in Python and Mojo

   Python 2 1

6. coq-examples coq-examples Public

   Coq 1