zenprotocol / Zulib
Zen Protocol Standard Library
☆10Updated 3 years ago
Alternatives and similar repositories for Zulib:
Users that are interested in Zulib are comparing it to the libraries listed below
- The default client for the Zen Protocol. Mirrored from https://gitlab.com/zenprotocol/zenprotocol☆55Updated 5 months ago
- Node and GUI for the Zen Protocol.☆35Updated 7 years ago
- Contract examples☆10Updated 3 years ago
- a language optimized for state channels on blockchains.☆22Updated 4 years ago
- Tools for running Quorum clusters and integration tests☆51Updated 3 years ago
- Sphinx source for the architecture docs☆25Updated last year
- DSL for Secure DApps☆33Updated 2 years ago
- ☆21Updated 4 years ago
- An API for rchain dapps to communicate with the blockchain☆22Updated 11 months ago
- Formalization of Tendermint proposer election properties☆15Updated 6 years ago
- working with coq and tezos☆28Updated 7 years ago
- ☆21Updated 6 years ago
- Bitcoin data-structures library for OCaml☆43Updated 4 years ago
- An EVM code verification framework in Coq☆44Updated 8 years ago
- User interface for the Zen Protocol client.☆25Updated 3 years ago
- Imandra Contracts - Formal verification of smart contracts☆32Updated 8 years ago
- A code generation tool for purescript-web3☆22Updated 3 months ago
- Rchain reference material☆53Updated 2 years ago
- Isabelle formalization of binary consensus☆9Updated 8 years ago
- The new whitepaper☆8Updated 7 years ago
- A typed, functional language that targets the EVM.☆55Updated 8 years ago
- Æternity blockchain whitepaper (Latex)☆27Updated 6 years ago
- Elliptic curve library secp256k1 wrapper for Ocaml☆24Updated last year
- Teaches rholang to beginners and intermediate programmers through hands-on examples and experimentation.☆67Updated 3 years ago
- Block Exploder by GameCredits is a open-source blockhain explorer written in Python☆7Updated 6 years ago
- An ML-inspired smart contract language, compiling to Tezos' Michelson VM☆22Updated 7 years ago
- This repository is used as an open library for the blockchain community. We include letters, papers, analysis, blogposts, etc, for anyone…☆31Updated 3 years ago
- Strongly-typed OCaml overlay for Go-Ethereum (geth)☆11Updated 4 years ago
- Simple Blink Example using Raspberry Pi, LED Light and Ethereum for Meetup Class☆30Updated 7 years ago
- An independent reimplementation of Ethereum in Haskell☆81Updated 9 years ago