Tezos

icon indicating a website link https://gitlab.com/tezos/tezos

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

Results 4 repositories owned by Tezos

tezos

1.5k
Stars
203
Forks
Watchers

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

verified publisher icon tezos

tezos-mirror

73
Stars
28
Forks
Watchers

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

verified publisher icon tezos

tezos-papers

38
Stars
20
Forks
Watchers

Original position paper and white paper for Tezos

verified publisher icon tezos

tezoscoq

28
Stars
9
Forks
Watchers

working with coq and tezos

verified publisher icon tezos