Skip to content
@tezos

Tezos

Tezos project, please see https://gitlab.com/tezos/tezos

Pinned Loading

  1. tezos-mirror Public

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

    OCaml 97 39

Repositories

Showing 10 of 12 repositories
  • tezos-mirror Public

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

    OCaml 97 MIT 39 0 2 Updated Apr 4, 2025
  • opam-repository Public Forked from ocaml/opam-repository

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

    0 CC0-1.0 1,186 0 0 Updated Mar 24, 2025
  • tezos Public

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

    1,511 208 22 0 Updated May 30, 2022
  • optimal_stack Public

    Compiler for stack manipulation in Michelson

    OCaml 14 4 0 0 Updated Dec 19, 2018
  • fundraiser-tools Public

    Tolls for checking keys created in the Tezos fundraiser

    HTML 6 9 3 1 Updated Jun 19, 2018
  • tezos-papers Public

    Original position paper and white paper for Tezos

    TeX 38 17 1 0 Updated May 20, 2018
  • bips Public Forked from bitcoin/bips

    Bitcoin Improvement Proposals

    Python 3 7,614 0 0 Updated Jan 6, 2018
  • zarith-benchmark Public

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

    OCaml 5 0 0 0 Updated Nov 2, 2017
  • Flex Public Forked from alexandrevicenzi/Flex

    The minimalist Pelican theme.

    CSS 0 MIT 341 0 0 Updated Aug 10, 2017
  • tezoscoq Public

    working with coq and tezos

    Coq 28 9 5 0 Updated Jul 20, 2017
View all repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Most used topics

Loading…