Pinned Loading

1. trishullab/copra trishullab/copra Public

   COPRA: An in-COntext PRoof Agent which uses LLMs like GPTs to prove theorems in formal languages.

   Python 46 6

2. trishullab/PutnamBench trishullab/PutnamBench Public

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

   Lean 58 8

3. Toy-Compiler Toy-Compiler Public

   Toy-Compiler can be for educational purpose. Helpful for those who need to design a compiler for a simple language. It has the complete compiler built in C language which includes lexer,parser and …

   C 1

4. 3-D-Dog-Simulation-In-OpenGl 3-D-Dog-Simulation-In-OpenGl Public

   Uses OpenGl to implement movements of dog. Dog can walk and camera can be rotated. Both wired and solid dogs can be created

   C++ 4 3

5. Multi-Robot-Task-Allocation Multi-Robot-Task-Allocation Public

   Java 4 2

6. GameOfDenomination GameOfDenomination Public

   JavaScript 2