tezos/tezos-mirror

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

112

stars

34,478

commits

OCaml

primary language

Sep 11, 2026

updated

gitlab.com/tezos/tezos

blockchain

ocaml

smart-contracts

tezos

README

Tezos Octez GitHub Mirror

This is the GitHub mirror of the Octez Git repository.

The master repository is here: https://gitlab.com/tezos/tezos

PLEASE DO NOT SUBMIT PULL REQUESTS OR ISSUES HERE.

Please go to:

Contributors

(top 30 of 191)

2,720 commits

1,988 commits

1,976 commits

1,846 commits

Similar repos

IntersectMBO/plutus

The Plutus language implementation and tools

1,634

shared topics

otter-sec/anchor

⚓ Solana Program Framework

5,129

shared topics

AU-COBRA/ConCert

A framework for smart contract verification in Coq

129

shared topics

aptos-labs/aptos-names-contracts

shared topics

paritytech/substrate

Substrate: The platform for blockchain innovators

8,397

aptos-labs/aptos-core

Aptos is a layer 1 blockchain built to support the widespread use of blockchain through better…

6,429

shared topics

lua/lua

A copy of the Lua development repository, as seen by the Lua team. Mirrored irregularly. All…

10,291

ConsenSys-archive/truffle

:warning: The Truffle Suite is being sunset. For information on ongoing support, migration options…

13,912

shared topics

Languages

OCaml

76.3%

Rust

15.8%

WebAssembly

4.4%

tezos/tezos-mirror

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

112

stars

34,478

commits

OCaml

primary language

Sep 11, 2026

updated

gitlab.com/tezos/tezos

blockchain

ocaml

smart-contracts

tezos

README

Tezos Octez GitHub Mirror

This is the GitHub mirror of the Octez Git repository.

The master repository is here: https://gitlab.com/tezos/tezos

PLEASE DO NOT SUBMIT PULL REQUESTS OR ISSUES HERE.

Please go to:

Similar repos

IntersectMBO/plutus

The Plutus language implementation and tools

1,634

shared topics

otter-sec/anchor

⚓ Solana Program Framework

5,129

shared topics

AU-COBRA/ConCert

A framework for smart contract verification in Coq

129

shared topics

aptos-labs/aptos-names-contracts

shared topics

paritytech/substrate

Substrate: The platform for blockchain innovators

8,397

aptos-labs/aptos-core

Aptos is a layer 1 blockchain built to support the widespread use of blockchain through better…

6,429

shared topics

lua/lua

A copy of the Lua development repository, as seen by the Lua team. Mirrored irregularly. All…

10,291

ConsenSys-archive/truffle

:warning: The Truffle Suite is being sunset. For information on ongoing support, migration options…

13,912

shared topics

Contributors

(top 30 of 191)

2,720 commits

1,988 commits

1,976 commits

1,846 commits

Languages

OCaml

76.3%

Rust

15.8%

WebAssembly

4.4%