tezos/tezos-mirror

Github test mirror of the Octez software. Please do not submit pull-requests here!

GitHub repository with 113 stars and 40 forks.

Language: OCaml

Topics: blockchain, ocaml, smart-contracts, tezos

Open provider repository

24h trend summary

Trending score 0.33, activity score 0.05, stars gained +1, forks gained +0.

Latest metric snapshot

2026-06-05: 113 stars and 40 forks.

Similar repositories

  1. 1. tezos/tezos-mirror

    Github test mirror of the Octez software. Please do not submit pull-requests here!

    GitHub repository with 113 stars and 40 forks.

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

    Language: OCaml

    Topics: blockchain, ocaml, smart-contracts, tezos

  2. 2. dakk/caravand-fullnode

    Type-safe bitcoin full-node

    GitHub repository with 19 stars and 1 forks.

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

    Language: OCaml

    Topics: bitcoin, blockchain, fullnode, segwit, sidechain, caravand

Trending in OCaml

  1. 1. ocaml/ocaml

    The core OCaml system: compilers, runtime system, base libraries

    GitHub repository with 6,392 stars and 1,237 forks.

    Trending score: 1.39; stars gained: +28; forks gained: +2.

    Language: OCaml

    Topics: ocaml, compiler, functional-language

  2. 2. oxcaml/oxcaml

    OCaml - Oxidized!

    GitHub repository with 760 stars and 151 forks.

    Trending score: 0.81; stars gained: +3; forks gained: +2.

    Language: OCaml

  3. 3. rocq-prover/rocq

    The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

    GitHub repository with 5,471 stars and 733 forks.

    Trending score: 0.60; stars gained: +3; forks gained: +1.

    Language: OCaml

    Topics: coq, dependent-types, proof-assistant, theorem-proving

  4. 4. geneweb/geneweb

    GeneWeb is a free (as in free speech) genealogy software with a web interface created by Daniel de Rauglaudre.

    GitHub repository with 378 stars and 116 forks.

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

    Language: OCaml

    Topics: genealogy, software, web, database, family-tree, graph

  5. 5. tezos/tezos-mirror

    Github test mirror of the Octez software. Please do not submit pull-requests here!

    GitHub repository with 113 stars and 40 forks.

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

    Language: OCaml

    Topics: blockchain, ocaml, smart-contracts, tezos

  6. 6. savonet/liquidsoap

    Liquidsoap is a statically typed scripting general-purpose language with dedicated operators and backend for all thing media, streaming, file generation, automation, HTTP backend and more.

    GitHub repository with 1,667 stars and 155 forks.

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

    Language: OCaml

    Topics: liquidsoap, streaming, webradio

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: blockchain, distributed-systems, ethereum, execution-layer, p2p, rollup

  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. 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 464 forks.

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

    Language: Python

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

  5. 5. ton-blockchain/ton

    Main TON monorepo

    GitHub repository with 4,031 stars and 1,563 forks.

    Trending score: 0.83; stars gained: +6; forks gained: +6.

    Language: C++

    Topics: blockchain, cryptocurrency, ton, infinite-sharding

  6. 6. nirholas/three.ws

    Open-source 3D AI agent framework — GLB/glTF avatars with LLM brains, memory, emotions, and autonomous payments. MCP server · x402 · Solana/EVM · Three.js. Embed anywhere as a web component. Character studio, animation gallery, OAuth 2.1. Browser-native.

    GitHub repository with 52 stars and 10 forks.

    Trending score: 0.70; stars gained: +4; forks gained: +1.

    Language: JavaScript

    Topics: 3d, ai-agent, animation, avatar, blockchain, character-studio