Tezos

Repositories

tezos

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

ocaml smart-contracts blockchain tezos

191 1,349 22 0 Updated May 20, 2019

optimal_stack

Compiler for stack manipulation in Michelson

OCaml 5 12 0 0 Updated Dec 19, 2018

fundraiser-tools

Tolls for checking keys created in the Tezos fundraiser

HTML 10 3 3 1 Updated Jun 19, 2018

tezos-papers

Original position paper and white paper for Tezos

TeX 17 26 1 0 Updated May 20, 2018

bips

Forked from bitcoin/bips

Bitcoin Improvement Proposals

Python 2,612 1 0 0 Updated Jan 6, 2018

zarith-benchmark

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

OCaml 0 3 0 0 Updated Nov 2, 2017

Flex

Forked from alexandrevicenzi/Flex

The minimalist Pelican theme.

CSS MIT 269 0 0 0 Updated Aug 10, 2017

tezoscoq

working with coq and tezos

Coq 9 26 5 0 Updated Jul 20, 2017

tezos-explorer

A block explorer for Tezos

Makefile 3 10 0 0 Updated Mar 31, 2017

irmin

Forked from mirage/irmin

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

OCaml ISC 112 3 0 0 Updated Dec 5, 2016