Skip to content
@tezos

Tezos

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

Pinned Loading

  1. tezos-mirror tezos-mirror Public

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

    OCaml 87 27

Repositories

Showing 10 of 12 repositories
  • tezos-mirror Public

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

    tezos/tezos-mirror’s past year of commit activity
    OCaml 87 MIT 27 0 1 Updated Jul 4, 2024
  • 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.

    tezos/opam-repository’s past year of commit activity
    Shell 0 CC0-1.0 1,122 0 0 Updated Jul 3, 2024
  • tezos Public

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

    tezos/tezos’s past year of commit activity
    1,513 204 22 0 Updated May 30, 2022
  • optimal_stack Public

    Compiler for stack manipulation in Michelson

    tezos/optimal_stack’s past year of commit activity
    OCaml 14 4 0 0 Updated Dec 19, 2018
  • fundraiser-tools Public

    Tolls for checking keys created in the Tezos fundraiser

    tezos/fundraiser-tools’s past year of commit activity
    HTML 6 9 3 1 Updated Jun 19, 2018
  • tezos-papers Public

    Original position paper and white paper for Tezos

    tezos/tezos-papers’s past year of commit activity
    TeX 38 20 1 0 Updated May 20, 2018
  • bips Public Forked from bitcoin/bips

    Bitcoin Improvement Proposals

    tezos/bips’s past year of commit activity
    Python 3 5,952 0 0 Updated Jan 6, 2018
  • zarith-benchmark Public

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

    tezos/zarith-benchmark’s past year of commit activity
    OCaml 5 0 0 0 Updated Nov 2, 2017
  • Flex Public Forked from alexandrevicenzi/Flex

    The minimalist Pelican theme.

    tezos/Flex’s past year of commit activity
    CSS 0 MIT 339 0 0 Updated Aug 10, 2017
  • tezoscoq Public

    working with coq and tezos

    tezos/tezoscoq’s past year of commit activity
    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.