An experimental security tool for Sui Move smart contracts that combines static program analysis and LLM.

An experimental language exploring computation and meaning through term unification, with logic-agnostic types.

Blazingly fast vanity address generator for TON Blockchain

TON developer documentation

A curated list of awesome ton security resources

Template for simple Tact project

An awesome list of e-graph resources

Sloc, Cloc and Code: scc is a very fast accurate code counter with complexity calculations and COCOMO estimates written in pure Go

Incremental computation through constrained memoization.

Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays and uninterpreted functions and their combinations. Its name …

TON Symbolic Analyzer

a datalog interpreter in typescript

⚡ All-in-one Sublime Text 4 package for Tact programming language

Generate OCaml bindings from TypeScript definitions via the TypeScript compiler API

TON Static Analyzer

ZKsync fork of the LLVM framework (EraVM).

Seamless bug-finding for C, C++, Go, Rust, Wasm and Zig

An SMT solver frontend for OCaml

List of Tact-related resources and projects

Tact main documentation

⚡ All-in-one Vim 8+ plugin for Tact programming language

Ohm language support for Visual Studio Code (VSCode)

🌳 Tree-sitter grammar for the ⚡ Tact contract programming language

Comparing parser APIs

A Creative Coding Framework for Rust.

SAT Solver SATCH

⭐️ A friendly language for building type-safe, scalable systems!

Facilities for generating dependently-typed data

Emulation and testing of multiple contracts

⚡ Tact compiler for TON blockchain—build secure, efficient smart contracts with powerful tooling and seamless integration