Repositories list

• riscv-pvm

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

  blockchainvirtualizationtezos+ 1rollups

  Rust

  •5•5•0•26•Updated Oct 13, 2025Oct 13, 2025

• tezos-mirror

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

  ocamlsmart-contractstezos+ 1blockchain

  OCaml

  •

  MIT License

  •39•106•0•0•Updated Oct 13, 2025Oct 13, 2025

• 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.2k•0•0•0•Updated Sep 11, 2025Sep 11, 2025

• tezos

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

  smart-contractsblockchainocaml+ 1tezos

  210•1.5k•22•0•Updated May 30, 2022May 30, 2022

• optimal_stack

  Public
  Compiler for stack manipulation in Michelson

  OCaml

  •4•15•0•0•Updated Dec 19, 2018Dec 19, 2018

• fundraiser-tools

  Public
  Tolls for checking keys created in the Tezos fundraiser

  HTML

  •9•6•3•1•Updated Jun 19, 2018Jun 19, 2018

• tezos-papers

  Public
  Original position paper and white paper for Tezos

  TeX

  •18•38•1•0•Updated May 20, 2018May 20, 2018

• bips

  Public
  Bitcoin Improvement Proposals

  Python

  •5.8k•3•0•0•Updated Jan 6, 2018Jan 6, 2018

• zarith-benchmark

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

  OCaml

  •0•5•0•0•Updated Nov 2, 2017Nov 2, 2017

• Flex

  Public
  The minimalist Pelican theme.

  CSS

  •

  MIT License

  •344•0•0•0•Updated Aug 10, 2017Aug 10, 2017

• tezoscoq

  Public
  working with coq and tezos

  Coq

  •9•28•5•0•Updated Jul 20, 2017Jul 20, 2017

• tezos-explorer

  Public
  A block explorer for Tezos

  Makefile

  •5•12•0•0•Updated Mar 31, 2017Mar 31, 2017

• irmin

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

  OCaml

  •

  ISC License

  •163•5•0•0•Updated Dec 5, 2016Dec 5, 2016