OCamlPro / ocaml-solidity
Ocaml-solidity provides a Solidity parser and typechecker
☆31Updated last year
Alternatives and similar repositories for ocaml-solidity:
Users that are interested in ocaml-solidity are comparing it to the libraries listed below
- Optimized Patricia trie with disk storage☆31Updated 6 years ago
- Elliptic curve library secp256k1 wrapper for Ocaml☆24Updated last year
- Web browser remote control☆14Updated 2 years ago
- Topological sort algorithm☆13Updated 8 months ago
- Provides functions to invoke amd64 instructions (such as clz,popcnt,rdtsc,rdpmc) when available, or compatible software implementation on…☆34Updated last week
- Formal verification of the Algorand consensus protocol☆26Updated 2 years ago
- Generation of comparison functions from types☆24Updated 5 months ago
- OCaml WebAssembly runtime powered by Wasmtime☆35Updated 2 years ago
- OCaml Algorithmic Trading☆17Updated this week
- Some simple exercises for getting up and running with OCaml, Dune, Core and Async☆16Updated 6 years ago
- OCaml bit vector library☆32Updated 6 months ago
- A library of splittable pseudo-random number generators for OCaml☆34Updated 3 months ago
- The official LLVM OCaml binding but built using dune☆25Updated 2 months ago
- Inspection of internal value representations and the object graph☆33Updated 8 years ago
- Code for Smart Contract Vulnerabilities: Vulnerable Does Not Imply Exploited☆24Updated 4 years ago
- backend of syrup: SYnthesizeR of sUPer-optimized smart contracts☆14Updated 4 years ago
- An implementation of the Noise Protocol, intended to be used as the base for a Wireguard implementation in OCaml.☆26Updated 5 years ago
- An ML-inspired smart contract language, compiling to Tezos' Michelson VM☆22Updated 7 years ago
- Implementation of maps of integers with Patricia trees☆22Updated 4 years ago
- A small OCaml library to randomly generate values☆29Updated 2 years ago
- The Rocq Prover bot☆23Updated 3 weeks ago
- An OCaml library implementing unifiable abstract binding trees (UABTs)☆27Updated last year
- effects system for continuation☆17Updated last month
- compiler libraries repackaged☆21Updated last year
- An OCaml wrapper library that makes it easy to send email with different services.☆25Updated 3 years ago
- A formalization of a Proof-of-Stake Nakamoto-style blockchain in Coq☆25Updated 4 years ago
- State-Transition Systems for Smart Contracts☆24Updated 4 years ago
- ☆13Updated 2 years ago
- Library containing the definition of S-expressions and some base converters☆18Updated 5 months ago
- Efficient caching library for OCaml☆33Updated last year