Tezos (tezos)

Tezos

tezos

Geek Repo

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

Home Page:https://gitlab.com/tezos/tezos

Github PK Tool:Github PK Tool

Tezos's repositories

tezos

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

tezos-mirror

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

Language:OCamlLicense:MITStargazers:61Issues:6Issues:0

tezos-papers

Original position paper and white paper for Tezos

tezoscoq

working with coq and tezos

optimal_stack

Compiler for stack manipulation in Michelson

Language:OCamlStargazers:14Issues:4Issues:0

tezos-explorer

A block explorer for Tezos

Language:MakefileStargazers:12Issues:11Issues:0

fundraiser-tools

Tolls for checking keys created in the Tezos fundraiser

zarith-benchmark

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

Language:OCamlStargazers:5Issues:2Issues:0

irmin

Irmin is a distributed database that follows the same design principles as Git

Language:OCamlLicense:ISCStargazers:4Issues:4Issues:0

bips

Bitcoin Improvement Proposals

Language:PythonStargazers:3Issues:3Issues:0

Flex

The minimalist Pelican theme.

Language:CSSLicense:MITStargazers:0Issues:2Issues:0

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:ShellLicense:CC0-1.0Stargazers:0Issues:0Issues:0