Dmitry Boulytchev's repositories
coq-supplementary
A supplementary Coq workout repository
LRP-2021
A supplementary repository for the course on logic and relational programming
futamura
Supplementary repository for Spring School on System Software-2024
js-sema
JavaScript Semantics Understanding Guidelines
microProlog
An implementation of a tiny logical Prolog-like language based on SLD-resolution
tex
Various written stuff: papers, slides, talks
jb-lab-proceedings
Automatically exported from code.google.com/p/jb-lab-proceedings
miniKanren-coq
A certified semantics for relational programming workout.
compiler-2020
A public repository for spring 2020 compiler course assignments
probabilistic-programming-workout
A workout on probabilistic programming language
spsc
Small Positive SuperCompiler Workout
variator
Variate source code to maintain homework assignments and their solutions in sync
ocamllex
Experiments around ocamllex
multiTerm
Generic multi-sorted terms workout
articles
Papers sources, pictures, presentations, and other stuff
um-assignment
Universal Machine interpreter assignment
lambda-idris-workout
Idris lambda sandbox
traversal-workout
Traversal-based normaliser workout
haskell-headshot
Examination problems, Haskell beginners course at SPbSU
coroutine-parser-workout
A workout on coroutine parser combinators