Tezos

Repositories

• tezos

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

  ocaml smart-contracts blockchain tezos
  189 1,390 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 4 3 1 Updated Jun 19, 2018

• tezos-papers

  Original position paper and white paper for Tezos
  TeX 17 28 1 0 Updated May 20, 2018

• bips

  Forked from bitcoin/bips

  Bitcoin Improvement Proposals
  Python 3,568 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 303 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 136 4 0 0 Updated Dec 5, 2016