Popular repositories

1. FPInterpreter Public

   John Backus' FP language interpreter (together with denotational semantics for the language)

   Java 2

2. VU-DSaA Public

   Data Structures and Algorithms exercise framework

   Java

3. VU-AaC-RecDesc Public

   Recursive Descent parser implemented using ANTLR lexer

   Java

4. VU-AaC-Headers Public

   Java

5. eprover Public

   Forked from eprover/eprover

   C

6. eprover_condensation Public

   Eprover condensation improvements

   C