OCamlPro / ocaml-solidityLinks
Ocaml-solidity provides a Solidity parser and typechecker
☆32Updated last year
Alternatives and similar repositories for ocaml-solidity
Users that are interested in ocaml-solidity are comparing it to the libraries listed below
Sorting:
- Optimized Patricia trie with disk storage☆31Updated 6 years ago
- OCaml hash-consing library☆51Updated last year
- Elliptic curve library secp256k1 wrapper for Ocaml☆24Updated last year
- Generation of comparison functions from types☆25Updated 2 weeks ago
- A library of splittable pseudo-random number generators for OCaml☆34Updated 5 months ago
- ☆13Updated 2 years ago
- Topological sort algorithm☆13Updated 2 months ago
- Dependency graphs for OCaml modules, libraries and packages☆39Updated 11 months ago
- Simple hash algorithms in OCaml☆90Updated last month
- A Deductive Verification Tool for OCaml Programs☆73Updated last month
- OCaml WebAssembly runtime powered by Wasmtime☆35Updated 3 years ago
- ☆49Updated 4 years ago
- Formal verification of the Algorand consensus protocol☆27Updated 2 years ago
- Command-Line Argument Parsing, imperative style with a consumption mechanism.☆24Updated 2 years ago
- Purely functional GUI algebra☆77Updated 2 months ago
- Web browser remote control☆14Updated 2 years ago
- Provides functions to invoke amd64 instructions (such as clz,popcnt,rdtsc,rdpmc) when available, or compatible software implementation on…☆35Updated 2 weeks ago
- The official LLVM OCaml binding but built using dune☆25Updated 4 months ago
- A small OCaml library to randomly generate values☆29Updated 2 years ago
- Prof. Spacetime☆28Updated 4 years ago
- Multiparty Session Types in OCaml☆60Updated 7 months ago
- OCaml bit vector library☆34Updated 3 weeks ago
- ☆16Updated 6 years ago
- Show the internal dependencies in your OCaml/Reason/Dune project☆60Updated last month
- An OCaml library implementing unifiable abstract binding trees (UABTs)☆27Updated last year
- OCaml bindings for Binaryen.☆50Updated last month
- Tools for record-and-replay debugging☆43Updated 2 years ago
- OCaml library for reporting metrics to a Prometheus server☆54Updated last year
- Bindings to io_uring for OCaml☆62Updated last year
- OCaml with typed algebraic effects☆50Updated 6 years ago