dboulytchev

miniKanren-coq

A certified semantics for relational programming workout.

microProlog

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

ostap

compiler-2020

A public repository for spring 2020 compiler course assignments

haskell-headshot

Examination problems, Haskell beginners course at SPbSU

coq-supplementary

A supplementary Coq workout repository

coroutine-parser-workout

A workout on coroutine parser combinators

IPLCT

Introduction to Programming Languages, Compilers, and Tools

jb-lab-proceedings

Automatically exported from code.google.com/p/jb-lab-proceedings

traversal-workout

Traversal-based normaliser workout

probabilistic-programming-workout

A workout on probabilistic programming language

articles

Papers sources, pictures, presentations, and other stuff

Coq-matching-workout

DPC

js-sema

JavaScript Semantics Understanding Guidelines

lalala

lambda-idris-workout

Idris lambda sandbox

logger

LRP-2021

A supplementary repository for the course on logic and relational programming

multiTerm

Generic multi-sorted terms workout

ocamllex

Experiments around ocamllex

ocanren_syntax_error_report

research-topics

spsc

Small Positive SuperCompiler Workout

tex

Various written stuff: papers, slides, talks

uKanren_transformations

um

um-assignment

Universal Machine interpreter assignment

um-test

variator

Variate source code to maintain homework assignments and their solutions in sync