Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

Projects in Awesome Lists by tezedge

A curated list of projects in awesome lists by tezedge .

https://github.com/tezedge/tezedge

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

cryptocurrency rust tezos tezos-blockchain tezos-node

Last synced: 05 Aug 2024

https://github.com/tezedge/tezedge-specification

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

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

Last synced: 08 Aug 2024

https://github.com/tezedge/ocaml-interop

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

Last synced: 03 Aug 2024