kajigor Goto Github PK

advent

Advent of code 2019

berlinerpattern

An example implementation of a Berlin Pattern in Scala

conjunctive-partial-deduction

Implementation of Conjunctive Partial Deduction as described in the paper "Conjunctive Partial Deduction: Foundations, Control, Algorithms and Experiments"

coroutine-parser-workout

A workout on coroutine parser combinators

destructingdeclarationtest

ecce

Online partial evaluator for pure Prolog programs (with built-ins)

edu

eltech-2019-peg

Parsing Expression Grammar implementation for Formal Languages class in ElTech 2019

eltech_compilers

Repository for Compilers course assignments

fl-2020-hse-win

Репозиторий для курса формальных языков

fl-2021-eltech-win

fl-2021-hse-win

fl-2021-itmo-spr

fl-2022-hse-win

fl-2022-itmo-spr

Репозиторий курса по формальным языкам, читаемый в ИТМО весной 2022 года.

fl_2020_itmo_spr

fl_2020_spbu_spr

fl_ifmo_2019_spr

Formal languages course, IFMO, 2019

formallanguageconstrainedreachability-lecturenotes

Материалы по достижимости с ограничениями в терминах формальных языков

fp-2022-jub-fall

fp-2023-cub-fall

fp-2024-cyp-spr

This is a supplementary repository for the Introduction to Functional Programming course

geoculture

higher-level-transformer

Higher-Level Transformer as described in the paper "The Next 700 Program Transformers"

hse-parsing

A simple recursive descent parser. Written for the formal languages course in HSE.

jb-lab-proceedings

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

kajigor.github.io

lalambda-logic-programming

minikanren-open-lecture-2019

Supplementary materials for the open lecture about miniKanren

minikanren_org-website

Files for the miniKanren.org website. If you would like to update the site, please do so and send a pull request!