fab13n / lamtez
An ML-inspired smart contract language, compiling to Tezos' Michelson VM
☆22Updated 7 years ago
Related projects ⓘ
Alternatives and complementary repositories for lamtez
- Compiler for stack manipulation in Michelson☆14Updated 5 years ago
- working with coq and tezos☆28Updated 7 years ago
- Elliptic curve library secp256k1 wrapper for Ocaml☆24Updated 10 months ago
- A test execution engine for Michelson smart contracts.☆17Updated 5 years ago
- The TzScan block explorer for Tezos☆12Updated 5 years ago
- Strongly-typed OCaml overlay for Go-Ethereum (geth)☆11Updated 3 years ago
- Optimized Patricia trie with disk storage☆31Updated 5 years ago
- Bitcoin data-structures library for OCaml☆43Updated 4 years ago
- Type-safe bitcoin full-node☆19Updated 6 years ago
- Formalization of Tendermint proposer election properties☆15Updated 5 years ago
- A debugger for Michelson☆15Updated last year
- Tezos smart contract & dapp development toolkit☆67Updated last year
- ☆14Updated 2 months ago
- ☆70Updated 5 months ago
- Pure OCaml implementation of the Groth-Maller SNARK verifier (and associated crypto)☆53Updated 5 years ago
- Contract examples☆10Updated 2 years ago
- Ambient Calculus reduction engine☆8Updated last year
- Original position paper and white paper for Tezos☆38Updated 6 years ago
- Ordgen / ORC-721 Sandbox☆18Updated last year
- An implementation of the Noise Protocol, intended to be used as the base for a Wireguard implementation in OCaml.☆26Updated 4 years ago
- SuperOptimization based Rule Generation☆12Updated 4 years ago
- Application-layer smart contracts & tooling.☆10Updated 5 years ago
- Oscoin Full Node Implementation in Haskell (Work in Progress)☆24Updated 4 years ago
- The Noise Protocol Framework, with types☆26Updated 2 years ago
- Ocaml-solidity provides a Solidity parser and typechecker☆30Updated last year
- A PoPuLaToR for a PeePhoLe opTimizeR☆12Updated 3 years ago
- A few smart contracts☆25Updated 3 years ago
- Collection of composable P2P libraries☆25Updated 3 years ago
- DSL for Secure DApps☆33Updated last year
- This repository is used as an open library for the blockchain community. We include letters, papers, analysis, blogposts, etc, for anyone…☆31Updated 3 years ago