espritoxyz/tsa external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

espritoxyz/tsa

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/espritoxyz/tsa)

Close

espritoxyz / tsaView on GitHubMore

• External links
• Readme badge

TON Symbolic Analyzer

☆26Mar 18, 2026Updated this week

Alternatives and similar repositories for tsa

Users that are interested in tsa are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.

• 0xDmitry / hacktheton

  View on GitHub
  TON Based Wargame
  ☆18Mar 7, 2025Updated last year
• ston-fi / dex-core-v2

  View on GitHub
  ☆17Mar 31, 2025Updated 11 months ago
• ton-ai-core / contract-knowledge

  View on GitHub
  ☆17Aug 3, 2025Updated 7 months ago
• krigga / tvm-debugger-example

  View on GitHub
  ☆15Aug 19, 2024Updated last year
• txsociety / spice-harvester

  View on GitHub
  The service facilitates payment tracking within the TON blockchain, offering a user-friendly API for generating invoices in multiple curr…
  ☆15Jun 16, 2025Updated 9 months ago
• delab-team / contracts

  View on GitHub
  Monorepository with DeLab team smart contracts
  ☆11Sep 22, 2023Updated 2 years ago
• broxus / fift

  View on GitHub
  Rust implementation of the Fift esoteric language
  ☆12Aug 19, 2025Updated 7 months ago
• Trinketer22 / func_docker

  View on GitHub
  Dockerfile for testing FunC code with toncli
  ☆15Sep 10, 2025Updated 6 months ago
• Laisky / tact-utils

  View on GitHub
  Utilities for TON tact
  ☆50Jan 17, 2025Updated last year
• nowarp / misti

  View on GitHub
  TON Static Analyzer
  ☆51Feb 25, 2026Updated 3 weeks ago
• rocq-community / tarjan

  View on GitHub
  Coq formalization of algorithms due to Tarjan and Kosaraju for finding strongly connected graph components using Mathematical Components …
  ☆18Mar 3, 2026Updated 2 weeks ago
• tact-lang / defi-cookbook

  View on GitHub
  DeFi cookbook
  ☆10Feb 14, 2026Updated last month
• tjifyodor / ton3-core

  View on GitHub
  ☆11May 10, 2024Updated last year
• Gusarich / simple-subdomain

  View on GitHub
  Simple Subdomain implementation for TON DNS
  ☆10Jun 5, 2023Updated 2 years ago
• tact-lang / dex

  View on GitHub
  WIP: Decentralized Exchange (OpenDeFi Library)
  ☆24Aug 18, 2025Updated 7 months ago
• UnitTestBot / jacodb

  View on GitHub
  fast and effective way to access and analyze java bytecode
  ☆32Dec 10, 2025Updated 3 months ago
• broxus / tycho-types

  View on GitHub
  A set of primitive types and utilities for the Tycho node
  ☆13Mar 16, 2026Updated last week
• rocq-community / atbr

  View on GitHub
  Coq library and tactic for deciding Kleene algebras [maintainer=@tchajed]
  ☆24Oct 21, 2024Updated last year
• EmelyanenkoK / jetton_dao

  View on GitHub
  ☆17Jan 2, 2024Updated 2 years ago
• VanishMax / foton

  View on GitHub
  ⚡ Create TON dApps with the speed of a foton
  ☆52Aug 24, 2025Updated 6 months ago
• TonDevWallet / TonDevWallet

  View on GitHub
  ☆111Mar 5, 2026Updated 2 weeks ago
• Trinketer22 / proof-machine

  View on GitHub
  ☆11Sep 25, 2024Updated last year
• Event-Structures / event-struct

  View on GitHub
  Mechanized Theory of Event Structures
  ☆16Aug 16, 2023Updated 2 years ago
• tawesoft / html5spec

  View on GitHub
  The WHATWG HTML5 spec as machine-readable JSON
  ☆13Dec 16, 2024Updated last year
• arthuraa / coq-utils

  View on GitHub
  Some basic libraries for Coq.
  ☆14Sep 9, 2025Updated 6 months ago
• tact-lang / tact-language-server

  View on GitHub
  ⚡Tact Language Server and VS Code plugin
  ☆25Jan 9, 2026Updated 2 months ago
• tjifyodor / adnl

  View on GitHub
  ☆19Feb 20, 2023Updated 3 years ago
• Polaristow / awesome-ton-security

  View on GitHub
  A curated list of awesome ton security resources
  ☆42Updated this week
• broxus / ton-dex

  View on GitHub
  TON DEX contracts (tonswap impl)
  ☆17Mar 24, 2022Updated 3 years ago
• shibdev / jettonswaps

  View on GitHub
  ☆14Feb 26, 2024Updated 2 years ago
• AndreyBurnosov / Access_control_bot

  View on GitHub
  The Access Control Bot is a specialized bot that utilizes NTFs (Non Fungible Tokens) or SBTs to manage access to your Telegram groups.
  ☆15Sep 10, 2023Updated 2 years ago
• publicrust / plugins-forum

  View on GitHub
  ☆15Updated this week
• Gusarich / ton-mass-sender

  View on GitHub
  ☆16Nov 17, 2023Updated 2 years ago
• ton-blockchain / tolk-bench

  View on GitHub
  "Tolk vs FunC" gas benchmarks — and at the same time, reference contracts in Tolk
  ☆34Nov 13, 2025Updated 4 months ago
• logvik / tact-vscode

  View on GitHub
  Tact VS Code plugin
  ☆24Jan 13, 2025Updated last year
• volodeyka / trust-coq

  View on GitHub
  Formalization of the Truly Stateless Concurrency Model Checker in Coq
  ☆13Nov 16, 2021Updated 4 years ago
• saveourtool / awesome-benchmarks

  View on GitHub
  A curated list of standards, tests and benchmarks that can be used for testing and evaluating dev-tools
  ☆15Dec 23, 2022Updated 3 years ago
• tact-lang / tact.vim

  View on GitHub
  ⚡ All-in-one Vim 8+ plugin for Tact programming language
  ☆19Apr 29, 2025Updated 10 months ago
• proof-of-capital / TON

  View on GitHub
  ☆18Feb 13, 2026Updated last month