Name: Komi Golov
Type: User
Company: @JetBrains
Bio: Mathematics PhD student at Radboud University, Nijmegen; currently at JetBrains. Interests: formal verification, type theory, programming language theory.
Twitter: jesyspa
Location: Utrecht, The Netherlands
Blog: www.math.ru.nl/~agolov/
Komi Golov's Projects
A simple program for making and drawing maze-like structures.
A C++11 Entity-Component-System microframework
A very simple correctness checker and pretty-printer for propositional modal logic
XNA Implementation for Mono based platforms
A collection of Katas I enjoy doing, with a few of my solutions.
A functional programming language that is automatically category-polymorphic
A cellular automaton written in C++/ SFML
Just a small Brainfuck interpreter written in Python
A rather strict Lisp implemented in Racket
A very simple S expression parser and (eventually) interpreter written in Racket.
Empowering everyone to build reliable and efficient software.
Just some utilities to solve programming problems in Rust
A simple implementation of runtime length encoding
A very simple compiler to SKI from an implicitly typed language.
A very simple S expression parser and interpreter
A stream-based way of learning C++.
A sudoku game where you have to prove that your deductions are valid
A toy language to learn more about compiling functional languages.
Just some fun tidbits I put together.
A toy variant implementation I felt like writing.
A graphing application written with Python's turtle module
Vim plugin for clang-format, a formatter for C, C++ and Obj-C code