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. coq-supplementary coq-supplementary Public

   A supplementary Coq workout repository

   Coq 3 59

5. compiler-2020 compiler-2020 Public

   A public repository for spring 2020 compiler course assignments

   TeX 3 50

6. haskell-headshot haskell-headshot Public

   Examination problems, Haskell beginners course at SPbSU

   Haskell 2 28