Pinned Repositories
horus-checker
Horus, a formal verification tool for StarkNet smart contracts.
horus-compile
Cairo compiler plugin extending language with annotations
warp
Warp - Bringing Solidity to Starknet at warp speed. Warp is a Solidity to Cairo Compiler, this allows teams to write/migrate Solidity to Cairo for easy onboarding into the StarkNet ecosystem.
Essentials-of-Compilation
A book about compiling Racket and Python to x86-64 assembly
flycheck-ocaml
OCaml support for Flycheck using Merlin
FP-Course-ITMO
Slides and other materials for functional programming lectures ITMO university
haskell-z3
Haskell bindings to Microsoft's Z3 API (unofficial).
itmo-fp-2020
llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
temyurchenko's Repositories
temyurchenko/Essentials-of-Compilation
A book about compiling Racket and Python to x86-64 assembly
temyurchenko/flycheck-ocaml
OCaml support for Flycheck using Merlin
temyurchenko/FP-Course-ITMO
Slides and other materials for functional programming lectures ITMO university
temyurchenko/haskell-z3
Haskell bindings to Microsoft's Z3 API (unofficial).
temyurchenko/itmo-fp-2020
temyurchenko/llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
temyurchenko/MPS
JetBrains Meta programming System
temyurchenko/murcake.github.io
temyurchenko/os-find
temyurchenko/os-jit
temyurchenko/os-kidshell
temyurchenko/os-lib
temyurchenko/os-net
temyurchenko/os-net-descriptor-passing
temyurchenko/os-net-multiplexing
temyurchenko/python-student-support-code
Support for for students (Python)
temyurchenko/smartparens
Minor mode for Emacs that deals with parens pairs and tries to be smart about it.