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
- DSL for Secure DApps☆33Updated 2 years ago
- An EVM code verification framework in Coq☆44Updated 8 years ago
- ☆89Updated 7 years ago
- RChain Bounty Program☆90Updated 6 years ago
- Obsidian language development☆80Updated last year
- Semantics of Virtual Machine for IELE prototype blockchain☆133Updated last year
- A minimalistic blockchain consensus implemented and verified in Coq☆112Updated 5 years ago
- Rchain reference material☆53Updated 3 years ago
- Gravity Network: a distributed computing architecture for resilience and interoperability☆37Updated 7 years ago
- Teaches rholang to beginners and intermediate programmers through hands-on examples and experimentation.☆66Updated 3 years ago
- javascript p2p network simulator☆70Updated 9 years ago
- A collection of papers about new models and applications of mobile process calculi☆12Updated 5 years ago
- A marketplace for trustless off chain computation.☆55Updated 6 years ago
- Formal specification and reference implementation of Casper☆15Updated 9 years ago
- Moonad: a Peer-to-Peer Operating System☆101Updated 5 years ago
- a JavaScript Implementation of Primea HyperVisor☆42Updated 5 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
- papers to read☆62Updated 10 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
- ☆11Updated 8 years ago
- Request for Comment (RFC) papers and discussions on Project SAFE core libraries and APIs☆98Updated 11 months ago
- Sphinx source for the architecture docs☆25Updated 2 years ago
- MOVED TO MONOREPO. prototype Vat host, modeled after KeyKOS Domains☆18Updated 5 years ago
- (OLD REPO) A debug-oriented Ethereum VM (EVM)☆114Updated 6 years ago
- MaidSafe Whitepapers☆5Updated 7 years ago
- A Lem formalization of EVM and some Isabelle/HOL proofs☆241Updated 3 years ago
- Original position paper and white paper for Tezos☆38Updated 7 years ago
- ☆59Updated 7 years ago