Repositories list

• riscv-pvm

  Public
  Next-generation Proof-generating Virtual Machine for the Tezos Smart Rollups

  blockchainvirtualizationtezos+ 1

  blockchainvirtualizationtezosrollups

  Rust

  •44 forks•1212 stars•00 issues•66 pull requests•Updated Apr 21, 2026Apr 21, 2026

• tezos-mirror

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

  ocamlsmart-contractsblockchain+ 1

  ocamlsmart-contractsblockchaintezos

  OCaml

  •

  MIT License

  •3737 forks•108108 stars•00 issues•00 pull requests•Updated Apr 21, 2026Apr 21, 2026

• opam-repository

  Public
  Clone of the public opam repository from which merge requests can be created to publish Tezos-related packages, such as Octez releases.

  Creative Commons Zero v1.0 Universal

  •1.2k1.2k forks•00 stars•00 issues•00 pull requests•Updated Dec 5, 2025Dec 5, 2025

• tezos

  Public
  Mirror of the release branches for Tezos, a self-amending cryptographic ledger

  ocamlsmart-contractsblockchain+ 1

  ocamlsmart-contractsblockchaintezos

  208208 forks•1.5k1.5k stars•2222 issues•00 pull requests•Updated May 30, 2022May 30, 2022

• optimal_stack

  Public
  Compiler for stack manipulation in Michelson

  OCaml

  •44 forks•1515 stars•00 issues•00 pull requests•Updated Dec 19, 2018Dec 19, 2018

• fundraiser-tools

  Public
  Tolls for checking keys created in the Tezos fundraiser

  HTML

  •99 forks•77 stars•33 issues•11 pull request•Updated Jun 19, 2018Jun 19, 2018

• tezos-papers

  Public
  Original position paper and white paper for Tezos

  TeX

  •1818 forks•3939 stars•11 issue•00 pull requests•Updated May 20, 2018May 20, 2018

• bips

  Public
  Bitcoin Improvement Proposals

  Python

  •5.9k5.9k forks•33 stars•00 issues•00 pull requests•Updated Jan 6, 2018Jan 6, 2018

• zarith-benchmark

  Public
  Benchmarking tool for Zarith (libGMP) to calibrate gas costs in Michelson

  OCaml

  •00 forks•55 stars•00 issues•00 pull requests•Updated Nov 2, 2017Nov 2, 2017

• Flex

  Public
  The minimalist Pelican theme.

  CSS

  •

  MIT License

  •352352 forks•00 stars•00 issues•00 pull requests•Updated Aug 10, 2017Aug 10, 2017

• tezoscoq

  Public
  working with coq and tezos

  Coq

  •99 forks•2727 stars•55 issues•00 pull requests•Updated Jul 20, 2017Jul 20, 2017

• tezos-explorer

  Public
  A block explorer for Tezos

  Makefile

  •55 forks•1212 stars•00 issues•00 pull requests•Updated Mar 31, 2017Mar 31, 2017

• irmin

  Public
  Irmin is a distributed database that follows the same design principles as Git

  OCaml

  •

  ISC License

  •166166 forks•55 stars•00 issues•00 pull requests•Updated Dec 5, 2016Dec 5, 2016