espritoxyz/tsa

TON Symbolic Analyzer

GitHub repository with 28 stars and 8 forks.

Language: Kotlin

Topics: blockchain, program-analysis, reverse-engineering, security, smart-contracts, symbolic-execution, ton

Open provider repository

Latest metric snapshot

2026-06-05: 28 stars and 8 forks.

Similar repositories

  1. 1. MixinNetwork/android-app

    📱 Android private messenger, crypto wallet and light node to Mixin Network

    GitHub repository with 498 stars and 109 forks.

    Trending score: 0.38; stars gained: +0; forks gained: +0.

    Language: Kotlin

    Topics: android, androidx, blockchain, end-to-end-encryption, jetpack, kotlin

  2. 2. OdyseeTeam/odysee-android

    The Odysee Android app with wallet functionality

    GitHub repository with 166 stars and 30 forks.

    Trending score: 0.05; stars gained: +0; forks gained: +0.

    Language: Kotlin

    Topics: android, java, blockchain, censorship-resistance

Trending in Kotlin

  1. 1. 2dust/v2rayNG

    A V2Ray client for Android, support Xray core and v2fly core

    GitHub repository with 57,521 stars and 7,532 forks.

    Trending score: 3.93; stars gained: +128; forks gained: +12.

    Language: Kotlin

    Topics: android, proxy, socks5, shadowsocks, trojan, v2ray

  2. 2. ximeiorg/Xime

    我的自用安卓输入法，基于Rime 构建，支持五笔/拼音/自定义方案。相关功能由本人设计的本地AI模型驱动

    GitHub repository with 257 stars and 14 forks.

    Trending score: 3.03; stars gained: +27; forks gained: +2.

    Language: Kotlin

  3. 3. theovilardo/PixelPlayer

    privacy-first Android music player built with Material 3 Expressive. Play offline, sync lyrics, fine-tune with equalizer presets, and cast to your devices.

    GitHub repository with 4,720 stars and 374 forks.

    Trending score: 2.53; stars gained: +30; forks gained: +1.

    Language: Kotlin

  4. 4. 1372Slash/Zenith

    A Material Design 3 Expressive Digital Wellbeing App

    GitHub repository with 177 stars and 6 forks.

    Trending score: 2.52; stars gained: +28; forks gained: +1.

    Language: Kotlin

    Topics: android, compose, digital-wellbeing, kotlin, material-design, material-design-3-expressive

  5. 5. NikhilKain/vyxel-apps

    Open-source GitHub-powered Android app store

    GitHub repository with 294 stars and 5 forks.

    Trending score: 2.47; stars gained: +23; forks gained: +1.

    Language: Kotlin

  6. 6. ravindu644/Droidspaces-OSS

    A lightweight, LXC-like container runtime for Android and Linux. Run full Linux distributions natively with zero performance penalty

    GitHub repository with 1,151 stars and 106 forks.

    Trending score: 2.37; stars gained: +17; forks gained: +1.

    Language: Kotlin

    Topics: android, containerization, docker, droidspaces, kernelsu, lxc

Trending topic: blockchain

  1. 1. cortsdine/solana-trading-bot-v3

    solana trading bot solana trading bot solana trading bot solana trading bot solana trading bot solana trading bot solana trading bot solana trading bot solana trading bot solana trading bot solana trading bot solana trading bot solana trading bot solana trading bot solana trading bot solana trading bot solana trading bot solana trading bot

    GitHub repository with 223 stars and 6,467 forks.

    Trending score: 1.63; stars gained: +2; forks gained: +0.

    Language: TypeScript

    Topics: auto-trade, blockchain, memecoin, orca, raydium, snipe-bot

  2. 2. lambdaclass/ethrex

    Minimalist, stable, modular, fast, and ZK native implementation of the Ethereum protocol in Rust. L1 and L2 execution client.

    GitHub repository with 878 stars and 202 forks.

    Trending score: 1.21; stars gained: +1; forks gained: +0.

    Language: Rust

    Topics: ethereum, rollup, distributed-systems, execution-layer, p2p, rust

  3. 3. erigontech/erigon

    Ethereum implementation on the efficiency frontier

    GitHub repository with 3,575 stars and 1,521 forks.

    Trending score: 1.08; stars gained: -1; forks gained: +0.

    Language: Go

    Topics: blockchain, ethereum

  4. 4. paradigmxyz/reth

    Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust

    GitHub repository with 5,620 stars and 2,476 forks.

    Trending score: 1.01; stars gained: +4; forks gained: +2.

    Language: Rust

    Topics: blockchain, contributor-friendly, distributed-systems, ethereum, execution-layer, modular

  5. 5. gmh5225/awesome-game-security

    awesome game security [Welcome to PR]

    GitHub repository with 2,945 stars and 421 forks.

    Trending score: 0.90; stars gained: +5; forks gained: +0.

    Language: Python

    Topics: game, awesome, cheat, anticheat, windows, debug

  6. 6. Scottcjn/Rustchain

    DePIN for Vintage Hardware — Proof-of-Antiquity blockchain where old machines outmine new ones. AI-powered hardware fingerprinting, 15+ CPU architectures, Solana bridge (wRTC). $0 VC.

    GitHub repository with 402 stars and 465 forks.

    Trending score: 0.88; stars gained: +7; forks gained: +13.

    Language: Python

    Topics: blockchain, cryptocurrency, mining, powerpc, vintage-hardware, proof-of-antiquity