IDNI / TMLLinks
Tau Meta-Language
☆123Updated 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
- Obsidian language development☆80Updated 2 years ago
- DSL for Secure DApps☆33Updated 2 years ago
- A Formal Library as a Bitcoin Spin-Off☆17Updated 8 years ago
- authenticated data structures, generically☆54Updated 8 years ago
- Moonad: a Peer-to-Peer Operating System☆101Updated 5 years ago
- An EVM code verification framework in Coq