Popular repositories Loading

1. Jetpack-Joyride Jetpack-Joyride Public

   Clone of the Jetpack Joyride game written in C for Caltech's Software Design class

   C 8

2. carma carma Public

   Forked from RUrlus/carma

   Converters between Armadillo matrices (C++) and Numpy arrays using Pybind11

   C++

3. LearningLean LearningLean Public

   Lean

4. pfr pfr Public

   Forked from teorth/pfr

   Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)

   Lean

5. PUTNAM-Adarsh PUTNAM-Adarsh Public

   Forked from trishullab/PutnamBench

   An evaluation benchmark for undergraduate competition math in Lean4, Isabelle, Coq, and natural language.

   Lean

6. LeanCopilotNew LeanCopilotNew Public

   Forked from lean-dojo/LeanCopilot

   LLMs as Copilots for Theorem Proving in Lean

   C++