sayon
Follow
-
-
-
-
-
-
-
-
llvm-project Public
Forked from llvm/llvm-projectThe 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…
Other UpdatedNov 15, 2023 -
spacemacs-tablegen-layer Public
A layer that packs a modified version of tablegen-mode from llvm
Emacs Lisp MIT License UpdatedOct 7, 2023 -
coq Public
Forked from rocq-prover/rocqCoq 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 develo…
OCaml GNU Lesser General Public License v2.1 UpdatedSep 27, 2023 -
spacemacs Public
Forked from syl20bnr/spacemacsA community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!
Emacs Lisp GNU General Public License v3.0 UpdatedSep 25, 2023 -
ocaml-opengl-minimal Public
A dune project containing a minimal program that draws an empty window
OCaml MIT License UpdatedJun 15, 2022 -
stepik-c-course Public
Материалы для курса "Программирование на C и выполнение программ"
-
dwarf-vm Public
This is a simple stack virtual machine to be a translation target for toy languages.
-
-
forthress Public
A Forth dialect implementation for educational purposes
-
low-level-programming Public
Forked from Apress/low-level-programmingSource code for 'Low-Level Programming' by Igor Zhirkov
-
forthress-2 Public
an alternative version of Forthress with a better thought-out syntax and VM
-
plcomp.github.io Public
Журнал о теории и практике разработки компиляторов
HTML UpdatedFeb 13, 2019 -
mlcourse.ai Public
Forked from Yorko/mlcourse.aiOpen Machine Learning course mlcourse.ai, both in English and Russian
Python Other UpdatedNov 4, 2018 -
-
-
-
-
scripts Public
a collection of short scripts I am using on my debian VM
-
-
minivm Public
A compiler and virtual machine for a toy imperative language
-
-
csharp-algorithms Public
Some algorithms I have implemented in C sharp. For history rather than for real world usage.
C# UpdatedOct 28, 2016 -