8000 tezos repositories · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

@tezos Tezos

Change the repository type filter

All

    Repositories list

    13 repositories

    • riscv-pvm

      Public
      Next-generation Proof-generating Virtual Machine for the Tezos Smart Rollups
      blockchainvirtualizationtezosrollups
      Rust
      •3•3•0•10•Updated Jul 13, 2025Jul 13, 2025

    • tezos-mirror

      Public
      Github test mirror of the Octez software. Please do not submit pull-requests here!
      ocamlsmart-contractstezosblockchain
      OCaml
      •
      MIT License
      •39•100•0•0•Updated Jul 11, 2025Jul 11, 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 Jun 11, 2025Jun 11, 2025

    • tezos

      Public
      Mirror of the release branches for Tezos, a self-amending cryptographic ledger
      smart-contractsblockchainocamltezos
      209•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.7k•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
      •340•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
      •161•5•0•0•Updated Dec 5, 2016Dec 5, 2016
    0