mcoblenz / Obsidian
Obsidian language development
☆77Updated last year
Related projects ⓘ
Alternatives and complementary repositories for Obsidian
- Semantics of Virtual Machine for IELE prototype blockchain☆131Updated last year
- A high-level language for Dune Network (and Tezos) with OCaml and ReasonML syntaxes, with a decompiler from Michelson☆157Updated 3 years ago
- State-Transition Systems for Smart Contracts☆24Updated 4 years ago
- A minimalistic blockchain consensus implemented and verified in Coq☆111Updated 4 years ago
- The symbolic execution engine powering the K Framework☆212Updated this week
- Scilla - A Smart Contract Intermediate Level Language☆241Updated 2 weeks ago
- A Lem formalization of EVM and some Isabelle/HOL proofs☆237Updated 2 years ago
- A Lem formalization of EVM and some Isabelle/HOL proofs☆33Updated 4 years ago
- An EVM code verification framework in Coq☆44Updated 8 years ago
- Functional Programming for Ethereum: Intro and Resources☆66Updated 7 years ago
- A Prototype Formal Semantics of WebAssembly in K☆78Updated 3 weeks ago
- Compiles Haskell to WebAssembly☆166Updated 5 years ago
- ☆27Updated 8 years ago
- Moonad: a Peer-to-Peer Operating System☆101Updated 4 years ago
- Bamboo see https://github.com/cornellblockchain/bamboo☆324Updated 2 years ago
- DSL for Secure DApps☆33Updated last year
- Language Design Community for the EVM: Intro and Resources☆137Updated 7 years ago
- ERC20 in K☆47Updated 5 years ago
- ☆59Updated 2 years ago
- Different TLA+ specifications, mostly for learning purposes☆31Updated 6 months ago
- Pure OCaml implementation of the Groth-Maller SNARK verifier (and associated crypto)☆53Updated 5 years ago
- Web3 API for Haskell☆190Updated 3 weeks ago
- K framework proof explorer & smart contract specification format☆123Updated 3 years ago
- ☆91Updated 6 years ago
- A curated collection of resources on smart contract programming languages☆239Updated last year
- Zero-Knowledge SNARKs from Linear-Size Universal and Updatable Structured Reference Strings☆45Updated 4 years ago
- Formal verification of the Algorand consensus protocol☆26Updated 2 years ago
- Original position paper and white paper for Tezos☆38Updated 6 years ago
- KVyper: Semantics of Vyper in K☆41Updated 6 years ago