Tezos

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

1,489 204 22 0 Updated May 20, 2019
optimal_stack Public
Compiler for stack manipulation in Michelson

OCaml 13 5 0 0 Updated Dec 19, 2018
fundraiser-tools Public
Tolls for checking keys created in the Tezos fundraiser

HTML 4 10 3 1 Updated Jun 19, 2018
tezos-papers Public
Original position paper and white paper for Tezos

TeX 34 19 1 0 Updated May 20, 2018
bips Public
Bitcoin Improvement Proposals

Python 2 4,306 0 0 Updated Jan 6, 2018
zarith-benchmark Public
Benchmarking tool for Zarith (libGMP) to calibrate gas costs in Michelson

OCaml 4 0 0 0 Updated Nov 2, 2017
Flex Public
The minimalist Pelican theme.

CSS 0 MIT 316 0 0 Updated Aug 10, 2017
tezoscoq Public
working with coq and tezos

Coq 28 9 5 0 Updated Jul 20, 2017
tezos-explorer Public
A block explorer for Tezos

Makefile 10 4 0 0 Updated Mar 31, 2017
irmin Public
Irmin is a distributed database that follows the same design principles as Git

OCaml 4 ISC 144 0 0 Updated Dec 5, 2016

Popular repositories