Tezos

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

Pinned Repositories

bips
Bitcoin Improvement Proposals
Language:Python3 3 00
fundraiser-tools
Tolls for checking keys created in the Tezos fundraiser
Language:HTML6 4 39
irmin
Irmin is a distributed database that follows the same design principles as Git
Language:OCaml5 5 02
optimal_stack
Compiler for stack manipulation in Michelson
Language:OCaml14 5 04
tezos
Mirror of the release branches for Tezos, a self-amending cryptographic ledger
1.5k 261 0206
tezos-explorer
A block explorer for Tezos
Language:Makefile12 12 05
tezos-mirror
Github test mirror of the Octez software. Please do not submit pull-requests here!
Language:OCaml89 6 037
tezos-papers
Original position paper and white paper for Tezos
Language:TeX38 13 217
tezoscoq
working with coq and tezos
Language:Coq28 13 59
zarith-benchmark
Benchmarking tool for Zarith (libGMP) to calibrate gas costs in Michelson
Language:OCaml5 3 00

tezos/tezos
Mirror of the release branches for Tezos, a self-amending cryptographic ledger
1.5k 261 0206
tezos/tezos-mirror
Github test mirror of the Octez software. Please do not submit pull-requests here!
Language:OCaml89 6 037
tezos/tezos-papers
Original position paper and white paper for Tezos
Language:TeX38 13 217
tezos/tezoscoq
working with coq and tezos
Language:Coq28 13 59
tezos/optimal_stack
Compiler for stack manipulation in Michelson
Language:OCaml14 5 04
tezos/tezos-explorer
A block explorer for Tezos
Language:Makefile12 12 05
tezos/fundraiser-tools
Tolls for checking keys created in the Tezos fundraiser
Language:HTML6 4 39
tezos/irmin
Irmin is a distributed database that follows the same design principles as Git
Language:OCaml5 5 02
tezos/zarith-benchmark
Benchmarking tool for Zarith (libGMP) to calibrate gas costs in Michelson
Language:OCaml5 3 00
tezos/bips
Bitcoin Improvement Proposals
Language:Python3 3 00
tezos/Flex
The minimalist Pelican theme.
Language:CSS2 01
tezos/opam-repository
Clone of the public opam repository from which merge requests can be created to publish Tezos-related packages, such as Octez releases.
Language:Shell1 01