Antonina Nepeivoda's starred repositories
typedKanren
A statically typed embedding of miniKanren in Haskell
regex2smtlib
A regular expression to SMT-LIB constraint translator
rio_semigroup_coursework
experiments around algorithm for computing finite semigroups
iu9-graphics-paper
Computer graphics algorithms course paper, BMSTU
asciidoctor
:gem: A fast, open source text processor and publishing toolchain, written in Ruby, for converting AsciiDoc content to HTML 5, DocBook 5, and other formats.
pattern_matching
Algorithms for efficient pattern matching
BMSTU-Formal-Languages
Лабораторные работы по курсу "Теория Формальных Языков"
FormalLanguageTheory
Лабораторные по курсу "Теория формальных языков"
latex-beamerposter
The LaTeX beamerposter package
FuzzingPaper
Recent Fuzzing Paper
Active-Automata-Learning
A Quick Research of Active Automata Learning
category-theory-resources
Resources for learning Category Theory for an enthusiast
libsemigroups
C++ library for semigroups and monoids