Pinned Repositories
c-classes
c-hashmap-example
An exemplary hashmap implementation for strings
coq-cata
study on coq catamorphisms encoding
dwarf-vm
This is a simple stack virtual machine to be a translation target for toy languages.
dynamic-libraries-course
Course materials
forthress
A Forth dialect implementation for educational purposes
low-level-programming
Source code for 'Low-Level Programming' by Igor Zhirkov
minivm
A compiler and virtual machine for a toy imperative language
simple-jit-cpp
stepik-c-course
Материалы для курса "Программирование на C и выполнение программ"
sayon's Repositories
sayon/kotlin-fsm-dsl
A simple example of how you can use kotlin to build a DSL, describing state machines
sayon/XOnD
Classic tic tac toe in 4 dimensional space
sayon/kannotator
Infer @Nullable/@NotNull and other annotations from byte code
sayon/kotlin
The Kotlin Programming Language
sayon/scala-algorithm
some algorithm samples in educational purposes (not guaranteed to work )
sayon/tralalang
toy language interpreter