+
Skip to content
Change the repository type filter

All

    Repositories list

    • Github test mirror of the Octez software. Please do not submit pull-requests here!
      OCaml
      3910600Updated Oct 14, 2025Oct 14, 2025
    • riscv-pvm

      Public
      Next-generation Proof-generating Virtual Machine for the Tezos Smart Rollups
      Rust
      55022Updated Oct 14, 2025Oct 14, 2025
    • Clone of the public opam repository from which merge requests can be created to publish Tezos-related packages, such as Octez releases.
      1.2k000Updated Sep 11, 2025Sep 11, 2025
    • tezos

      Public
      Mirror of the release branches for Tezos, a self-amending cryptographic ledger
      2101.5k220Updated May 30, 2022May 30, 2022
    • Compiler for stack manipulation in Michelson
      OCaml
      41500Updated Dec 19, 2018Dec 19, 2018
    • Tolls for checking keys created in the Tezos fundraiser
      HTML
      9631Updated Jun 19, 2018Jun 19, 2018
    • Original position paper and white paper for Tezos
      TeX
      183810Updated May 20, 2018May 20, 2018
    • bips

      Public
      Bitcoin Improvement Proposals
      Python
      5.8k300Updated Jan 6, 2018Jan 6, 2018
    • Benchmarking tool for Zarith (libGMP) to calibrate gas costs in Michelson
      OCaml
      0500Updated Nov 2, 2017Nov 2, 2017
    • Flex

      Public
      The minimalist Pelican theme.
      CSS
      344000Updated Aug 10, 2017Aug 10, 2017
    • tezoscoq

      Public
      working with coq and tezos
      Coq
      92850Updated Jul 20, 2017Jul 20, 2017
    • A block explorer for Tezos
      Makefile
      51200Updated Mar 31, 2017Mar 31, 2017
    • irmin

      Public
      Irmin is a distributed database that follows the same design principles as Git
      OCaml
      163500Updated Dec 5, 2016Dec 5, 2016
    点击 这是indexloc提供的php浏览器服务,不要输入任何密码和下载