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/forthress
A Forth dialect implementation for educational purposes
sayon/low-level-programming
Source code for 'Low-Level Programming' by Igor Zhirkov
sayon/dwarf-vm
This is a simple stack virtual machine to be a translation target for toy languages.
sayon/minivm
A compiler and virtual machine for a toy imperative language
sayon/stepik-c-course
Материалы для курса "Программирование на C и выполнение программ"
sayon/dynamic-libraries-course
Course materials
sayon/c-hashmap-example
An exemplary hashmap implementation for strings
sayon/forthress-2
an alternative version of Forthress with a better thought-out syntax and VM
sayon/itmo-classes-annotations
sayon/jurnalu-downloader
a tool to download comic books from jurnalu dot ru
sayon/opal
Self-contained monadic parser combinators for OCaml
sayon/scripts
a collection of short scripts I am using on my debian VM
sayon/blog
sayon/coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
sayon/coq-am-gm
an attempt to formalize arithmetic mean >= geometric
sayon/csharp-algorithms
Some algorithms I have implemented in C sharp. For history rather than for real world usage.
sayon/error-codegen-poc
sayon/failure-system-experiments
sayon/llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.
sayon/mlcourse.ai
Open Machine Learning course mlcourse.ai, both in English and Russian
sayon/ocaml-opengl-minimal
A dune project containing a minimal program that draws an empty window
sayon/plcomp.github.io
Журнал о теории и практике разработки компиляторов
sayon/protobuf-rust-rs-example
sayon/recipes
My collection of favorite recipes
sayon/reinforced-learning
Notes and exercises
sayon/rust-playground
sayon/spacemacs
A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!
sayon/spacemacs-tablegen-layer
A layer that packs a modified version of tablegen-mode from llvm
sayon/tg
telegram-cli
sayon/visit-card
my own visit card