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/simple-jit-cpp
sayon/c-classes
sayon/coq-cata
study on coq catamorphisms encoding
sayon/fp-cata-presentation
Presenting an article of Meijer, Fokkinga and Paterson "Functional programming with bananas lenses envelopes and barbed wire"
sayon/bentley-ottman-snap-rounding
Sample bentley-ottman implementation (with snap rounding)
sayon/dwarf-cs
sayon/ignoreme
A legendary program to distinguish programming languages is now on GitHub!
sayon/jurnalu-downloader
a tool to download comic books from jurnalu dot ru
sayon/remote-launcher
A simple tool to run a command transfered through network
sayon/atl-lang
a toy language with ADT and pattern matching
sayon/calc-geom-tasks
hometasks for the corresponding course
sayon/calculus-of-constructions-presentation
sayon/cloop-level-gen
sayon/computer-vision-homeworks
sayon/direct-curry-howard
A set of samples to utilize Curry-Howard isomorphism in a direct manner (in Coq)
sayon/euler
sayon/extlang
Automatically exported from code.google.com/p/extlang
sayon/glibc
GNU Libc
sayon/kotlin-parsec
kotlin-parsec
sayon/lenses-talk
learning about lenses in haskell
sayon/lmv-talk
Coq: reflection and mathematical hierarchies
sayon/mini-c
sayon/pnp-exercises
Some exercises from the book "Programs and Proofs" by Ilya Sergey
sayon/sayon.github.io
sayon/scala-algorithm
some algorithm samples in educational purposes (not guaranteed to work )
sayon/simple-rest-app
sayon/software-foundations
some coq exercises
sayon/statistics-hw
sayon/statlearning
sayon/toy-ocaml-tapl