Pinned Repositories
compiler-2020
A public repository for spring 2020 compiler course assignments
compiler-tutorial
coq-supplementary
A supplementary Coq workout repository
coroutine-parser-workout
A workout on coroutine parser combinators
direct-curry-howard
A set of samples to utilize Curry-Howard isomorphism in a direct manner (in Coq)
game-semantics-workout
Game semantics implementation in Coq
haskell-headshot
Examination problems, Haskell beginners course at SPbSU
microProlog
An implementation of a tiny logical Prolog-like language based on SLD-resolution
miniKanren-coq
A certified semantics for relational programming workout.
ostap
dboulytchev's Repositories
dboulytchev/miniKanren-coq
A certified semantics for relational programming workout.
dboulytchev/microProlog
An implementation of a tiny logical Prolog-like language based on SLD-resolution
dboulytchev/ostap
dboulytchev/compiler-2020
A public repository for spring 2020 compiler course assignments
dboulytchev/coq-supplementary
A supplementary Coq workout repository
dboulytchev/IPLCT
Introduction to Programming Languages, Compilers, and Tools
dboulytchev/jb-lab-proceedings
Automatically exported from code.google.com/p/jb-lab-proceedings
dboulytchev/LRP-2021
A supplementary repository for the course on logic and relational programming
dboulytchev/topics
dboulytchev/traversal-workout
Traversal-based normaliser workout
dboulytchev/probabilistic-programming-workout
A workout on probabilistic programming language
dboulytchev/articles
Papers sources, pictures, presentations, and other stuff
dboulytchev/Coq-matching-workout
dboulytchev/DPC
dboulytchev/futamura
Supplementary repository for Spring School on System Software-2024
dboulytchev/js-sema
JavaScript Semantics Understanding Guidelines
dboulytchev/lalala
dboulytchev/lambda-idris-workout
Idris lambda sandbox
dboulytchev/logger
dboulytchev/multiTerm
Generic multi-sorted terms workout
dboulytchev/ocamllex
Experiments around ocamllex
dboulytchev/ocanren_syntax_error_report
dboulytchev/spsc
Small Positive SuperCompiler Workout
dboulytchev/synthesis-supplementary
A supplementary repository for program synthesis course
dboulytchev/tex
Various written stuff: papers, slides, talks
dboulytchev/uKanren_transformations
dboulytchev/um
dboulytchev/um-assignment
Universal Machine interpreter assignment
dboulytchev/um-test
dboulytchev/variator
Variate source code to maintain homework assignments and their solutions in sync