Anton Trunov
@anton-trunov
Compilers, AI, formal verification
4
Published Tools
771
Total Stars
0
Weekly Downloads
355
GitHub Followers
60
Public Repos
Published Tools
4 Skillsacross 1 category@tact-lang/compiler
anton-trunov
Tact is a next-gen smart contract language for TON
SkillAI Tool
6931 dir
@tact-lang/emulator
anton-trunov
Emulation toolkit for TON Smart Contracts
SkillAI Tool
301 dir
@tact-lang/tact-language-server
anton-trunov
Language Server for Tact
SkillAI Tool
251 dir
@tact-lang/opcode
anton-trunov
TVM BoC disassembler
SkillAI Tool
231 dir