All Git Users → tezedge

4 open source projects by tezedge

[ Open user page on Github ]

1. tezedge-specification

TLA+ specs and models for the TezEdge node's p2p overlay network, shell, and consensus

✭ 19

TLA java formal-verification tezos tlaplus tla-specification tezos-blockchain

2. ocaml-interop

OCaml<->Rust FFI with an emphasis on safety.

✭ 0

3. tezedge-debugger

TezEdge | Debugger

✭ 16

rust Dockerfile shell

Tezos node/shell in Rust. Unfortunately dev has ceased. If you are interested in resurrecting, please contact @drchrispinnock

✭ 147

rust python cryptocurrency tezos tezos-blockchain tezos-node

1-4 of 4 user projects