Komi Golov

linear-cpp. An attempt at a C++ tutorial.

4DGo. A four-dimensional goban

FastGOL. A very simple Game of Life implementation, with an attempt to make stuff fast.

fularuha. A functional language implementation in Rust and Haskell

master-thesis. Agda

kotlin. The Kotlin Programming Language.

polycat. A functional programming language that is automatically category-polymorphic

computability-in-agda. A formalisation of computability theory in Agda.

book. An Introduction to Various Math Topics

labyrinth. A tool for generating mazes

Sparse. A very simple S expression parser and interpreter

jy-c-to-bytecode. A bytecode interpreter, plus a compiler for a C-like language to that bytecode.

snakt-usage-example. Test repository to see that SnaKt can actually be used.

toy-stuff. Just some fun tidbits I put together.

TurtleGraph. A graphing application written with Python's turtle module

simon-puzzles-fork. A fork of Simon Tatham's puzzle collection: https://www.chiark.greenend.org.uk/~sgtatham/puzzles/

snakt-design. Design documents for the SnaKt project

toy-hisp. A toy language to learn more about compiling functional languages.

compile-time-brainfuck. A C++03 brainfuck metainterpreter.

DailyProgrammerChallenges. My solutions to some daily programmer challenges.

sorted. C++

directed-branching-bisimulation. Code for the paper "Directed branching bisimulation via apartness and positive logic" by Herman Geuvers and Anton Golov