IDNI / TMLLinks
Tau Meta-Language
☆122Updated 2 years ago
Alternatives and similar repositories for TML
Users that are interested in TML are comparing it to the libraries listed below
Sorting:
- idni.org☆75Updated 7 years ago
- ☆90Updated 7 years ago
- An EVM code verification framework in Coq☆44Updated 8 years ago
- Semantics of Virtual Machine for IELE prototype blockchain☆133Updated last year
- javascript p2p network simulator☆70Updated 9 years ago
- A marketplace for trustless off chain computation.☆55Updated 6 years ago
- VDF competition instructions, and simple implementation☆86Updated 2 years ago
- RChain Bounty Program☆90Updated 6 years ago
- Moonad: a Peer-to-Peer Operating System☆102Updated 5 years ago
- DSL for Secure DApps☆33Updated 2 years ago
- Rchain reference material☆53Updated 3 years ago
- a C++ template library for zero knowledge proofs☆49Updated 9 years ago
- A minimal decentralized computer.☆119Updated 3 years ago
- This paper presents the first systematization of knowledge within these major blockchain protocols, understanding the common challenges …☆96Updated 6 years ago
- A library for encoding and decoding large numbers into a pronounceable, high density, string, that uses 3456 syllables as its base.☆21Updated 6 years ago
- Pay for the solution to a sudoku puzzle with a zero-knowledge contingent payment☆102Updated 7 years ago
- Gravity Network: a distributed computing architecture for resilience and interoperability☆37Updated 7 years ago
- Minimal code-interchange format☆193Updated 4 years ago
- RWOT2 for the ID2020 UN Summit (May 2016)☆91Updated 2 years ago
- Official D implementation of OWLchain protocol☆60Updated 7 years ago
- A Formal Semantics of WebAssembly in K☆80Updated this week
- Fork of WebAssembly reference interpreter with support for generating proofs needed for blockchain verification☆44Updated 4 years ago
- a JS module for creating orthogonally persistent WebAssembly instances☆42Updated 2 years ago
- Language Design Community for the EVM: Intro and Resources☆137Updated 7 years ago
- Cryptographically provable database (i.e. an urkel tree)☆127Updated 2 years ago
- Random Beacon Simulator☆122Updated 7 years ago
- Submission site for Zcash Foundation grant proposals☆25Updated 7 years ago
- Feature experiments to advance the art of Bitcoin - Build your own sidechain☆16Updated 8 years ago
- [DEPRECATED] Interactive client☆82Updated 5 years ago
- Bamboo see https://github.com/cornellblockchain/bamboo☆324Updated 3 years ago