modality-org/modality

verifiable contracts using temporal modal logic

GitHub repository with 18 stars and 1 forks.

Language: Rust

Topics: blockchain, formal-verification, temporal-logic, verifiable-contracts

Open provider repository

Latest metric snapshot

2026-06-05: 18 stars and 1 forks.

Similar repositories

  1. 1. 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

  2. 2. paradigmxyz/reth

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

    GitHub repository with 5,619 stars and 2,475 forks.

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

    Language: Rust

    Topics: blockchain, distributed-systems, ethereum, p2p, rust, contributor-friendly

  3. 3. near/nearcore

    Reference client for NEAR Protocol

    GitHub repository with 2,591 stars and 783 forks.

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

    Language: Rust

    Topics: blockchain, rust, webassembly, nearprotocol

  4. 4. succinctlabs/sp1

    SP1 is a zero‑knowledge virtual machine that proves the correct execution of programs compiled for the RISC-V architecture.

    GitHub repository with 1,689 stars and 661 forks.

    Trending score: 0.63; stars gained: +3; forks gained: +0.

    Language: Rust

    Topics: blockchain, contributor-friendly, ethereum, modular, rust, zero-knowledge

  5. 5. MystenLabs/sui

    Sui, a next-generation smart contract platform with high throughput, low latency, and an asset-oriented programming model powered by the Move programming language

    GitHub repository with 7,695 stars and 11,689 forks.

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

    Language: Rust

    Topics: blockchain, distributed-ledger-technology, move, smart-contracts

  6. 6. paritytech/polkadot-sdk

    The Parity Polkadot Blockchain SDK

    GitHub repository with 2,770 stars and 1,206 forks.

    Trending score: 0.49; stars gained: +2; forks gained: +1.

    Language: Rust

    Topics: blockchain, cumulus, polkadot, substrate

Trending in Rust

  1. 1. BigPizzaV3/CodexPlusPlus

    An enhanced tool for CodexApp, striving to make Codex better to use and more comfortable 一个CodexApp的增强工具，努力让Codex变得更好用更舒服

    GitHub repository with 13,626 stars and 843 forks.

    Trending score: 5.16; stars gained: +916; forks gained: +44.

    Language: Rust

  2. 2. Hmbown/CodeWhale

    DeepSeek + MiMo coding agent in terminal

    GitHub repository with 37,102 stars and 3,192 forks.

    Trending score: 4.80; stars gained: +393; forks gained: +32.

    Language: Rust

    Topics: cli, deepseek, llm, rust, terminal, tui

  3. 3. openai/codex

    Lightweight coding agent that runs in your terminal

    GitHub repository with 88,773 stars and 13,041 forks.

    Trending score: 4.58; stars gained: +326; forks gained: +48.

    Language: Rust

  4. 4. tinyhumansai/openhuman

    Your Personal AI super intelligence. Private, Simple and extremely powerful.

    GitHub repository with 30,803 stars and 2,971 forks.

    Trending score: 4.37; stars gained: +332; forks gained: +50.

    Language: Rust

  5. 5. fallow-rs/fallow

    Codebase intelligence for TypeScript and JavaScript. Free static layer: unused code, duplication, circular deps, complexity hotspots, architecture boundaries. Optional paid runtime layer: hot-path review and cold-path deletion evidence from real production traffic. Rust-native, sub-second, zero-config framework support.

    GitHub repository with 3,040 stars and 91 forks.

    Trending score: 4.05; stars gained: +346; forks gained: +16.

    Language: Rust

    Topics: cli, code-quality, dead-code, developer-tools, javascript, linter

  6. 6. ogulcancelik/herdr

    agent multiplexer that lives in your terminal.

    GitHub repository with 4,330 stars and 264 forks.

    Trending score: 4.04; stars gained: +212; forks gained: +3.

    Language: Rust

    Topics: agent, agent-orchestration, ai, ai-agents, claude-code, cli

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,619 stars and 2,475 forks.

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

    Language: Rust

    Topics: blockchain, distributed-systems, ethereum, p2p, rust, contributor-friendly

  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: android, anti, anticheat, antidebug, awesome, blockchain

  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 397 stars and 461 forks.

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

    Language: Python

    Topics: agent-economy, ai, ai-agents, blockchain, cryptocurrency, decentralized