Popular repositories Loading

1. miniKanren-coq miniKanren-coq Public

   A certified semantics for relational programming workout.

   Coq 26 4

2. microProlog microProlog Public

   An implementation of a tiny logical Prolog-like language based on SLD-resolution

   Shell 6 1

3. ostap ostap Public

   TeX 5 9

4. compiler-2020 compiler-2020 Public

   A public repository for spring 2020 compiler course assignments

   TeX 3 50

5. haskell-headshot haskell-headshot Public

   Examination problems, Haskell beginners course at SPbSU

   Haskell 2 29

6. JPS JPS Public

   Forked from JetBrains/JPS

   Gant based build framework + dsl, with declarative project structure definition and automatic IntelliJ IDEA projects build

   Java 1