IDNI / TML
Tau Meta-Language
☆122Updated last year
Related projects ⓘ
Alternatives and complementary repositories for TML
- idni.org☆75Updated 6 years ago
- An EVM code verification framework in Coq☆44Updated 8 years ago
- Obsidian language development☆77Updated last year
- Semantics of Virtual Machine for IELE prototype blockchain☆131Updated last year
- A Formal Library as a Bitcoin Spin-Off☆17Updated 7 years ago
- ☆91Updated 6 years ago
- DSL for Secure DApps☆33Updated last year
- Official D implementation of OWLchain protocol☆61Updated 7 years ago
- Rchain reference material☆53Updated 2 years ago
- ☆84Updated 7 years ago
- RChain Bounty Program☆90Updated 5 years ago
- Gravity Network: a distributed computing architecture for resilience and interoperability☆37Updated 7 years ago
- A minimalistic blockchain consensus implemented and verified in Coq☆111Updated 4 years ago
- Articles and Papers from Consensus Research☆30Updated 9 years ago
- Knowledge Revolution☆27Updated 8 years ago
- Domain Specific Languages for Computational Law☆69Updated last month
- A Prototype Formal Semantics of WebAssembly in K☆78Updated this week
- MOVED TO MONOREPO. prototype Vat host, modeled after KeyKOS Domains☆18Updated 4 years ago
- javascript p2p network simulator☆70Updated 8 years ago
- Formal specification and reference implementation of Casper☆15Updated 9 years ago
- An independent reimplementation of Ethereum in Haskell☆82Updated 9 years ago
- Algorand☆40Updated 7 years ago
- ☆36Updated 3 years ago
- Otonomos proposal for how The DAO/DAOs can hold stakes in projects, digital or real-world☆16Updated 8 years ago
- The full CommonAccord.org website, including many of the sub repos.☆43Updated 2 weeks ago
- An API for rchain dapps to communicate with the blockchain☆22Updated 7 months ago