imandra-ai / ipl-examples
Imandra Protocol Language example models
☆11Updated 2 months ago
Related projects ⓘ
Alternatives and complementary repositories for ipl-examples
- Imandra Contracts - Formal verification of smart contracts☆32Updated 8 years ago
- working with coq and tezos☆28Updated 7 years ago
- An independent reimplementation of Ethereum in Haskell☆82Updated 9 years ago
- State-Transition Systems for Smart Contracts☆24Updated 4 years ago
- A Tutorial for Ur/Web☆30Updated 9 years ago
- ☆77Updated last year
- Compiler for stack manipulation in Michelson☆14Updated 5 years ago
- DSL for Secure DApps☆33Updated last year
- An ML-inspired smart contract language, compiling to Tezos' Michelson VM☆22Updated 7 years ago
- SPREAD☆19Updated 3 years ago
- OCaml bot for arbitraging Bitcoin exchanges☆51Updated 5 years ago
- List of cryptocurrencies and smart contracts using functional programming languages☆14Updated 5 years ago
- AIFAD - Automated Induction of Functions over Algebraic Data Types☆30Updated 2 weeks ago
- A tool for the automatic generation of Isabelle/HOL correctness proofs for security protocols.☆15Updated 9 years ago
- JavaScript semantics☆18Updated 12 years ago
- Transducers in OCaml. About as Haskelly as you can manage. Hoping to fix that.☆17Updated 9 years ago
- An EVM code verification framework in Coq☆44Updated 8 years ago
- ☆59Updated 2 years ago
- KVyper: Semantics of Vyper in K☆41Updated 6 years ago
- Code samples inspiring language design☆24Updated 8 years ago
- [toy] A rewriting language similar to the core of Mathematica☆54Updated 2 years ago
- Strongly-typed OCaml overlay for Go-Ethereum (geth)☆11Updated 3 years ago
- Language Design Community for the EVM: Intro and Resources☆137Updated 7 years ago
- Distributed Data Structures in Coq☆49Updated 11 years ago
- ☆27Updated 8 years ago
- Functional Programming for Ethereum: Intro and Resources☆66Updated 7 years ago
- An embedding of miniKanren in Shen.☆24Updated 9 years ago
- Haskell implementation of RSCoin☆50Updated 7 years ago
- MLton for scalable multicore architectures☆57Updated 10 years ago