Anton Trunov
anton-trunov
Compilers, formal verification
https://tonstudio.io
Dubai
Joined September 2012
plt-study
A path to Programming Language Theory enlightenment
CSSUpdated 6/17/2025
ton-core
Low level tools for working with TON
Updated 4/15/2025
homebrew-crypto
:closed_lock_with_key: Various Cryptographic-Related Formulae
RubyUpdated 3/4/2025
coq-lecture-notes
Coq Lecture Notes (WIP)
CoqUpdated 2/8/2025
tact
Tact compiler main repository
Updated 1/27/2025