OCamlPro / ocaml-solidityLinks
Ocaml-solidity provides a Solidity parser and typechecker
☆33Updated 2 years ago
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
- Cryptographic primitives for OCaml, in OCaml (also used in MirageOS)☆81Updated 2 months ago
- Web browser remote control☆16Updated 3 years ago
- Provides functions to invoke amd64 instructions (such as clz,popcnt,rdtsc,rdpmc) when available, or compatible software implementation on…☆38Updated 3 weeks ago
- Simple hash algorithms in OCaml☆93Updated 8 months ago
- Elliptic curve library secp256k1 wrapper for Ocaml☆24Updated this week
- A library of cryptographic primitives (ciphers, hashes, etc) for OCaml☆104Updated last month
- Generation of comparison functions from types☆29Updated 3 weeks ago
- OCaml hash-consing library☆53Updated 2 years ago
- ☆13Updated 3 years ago
- OCaml WebAssembly runtime powered by Wasmtime☆35Updated 3 years ago
- LexiFi runtime types☆35Updated 5 years ago
- Topological sort algorithm☆14Updated 3 weeks ago
- The official LLVM OCaml binding but built using dune☆25Updated last year
- Show the internal dependencies in your OCaml/Reason/Dune project☆61Updated 9 months ago
- compiler libraries repackaged☆21Updated 2 years ago
- Monad-based linear types in OCaml, with a few syntax extensions☆38Updated 6 years ago
- Some simple exercises for getting up and running with OCaml, Dune, Core and Async☆16Updated 7 years ago
- The Michelson Symbolic vErifier☆13Updated 3 years ago
- Formal verification of the Algorand consensus protocol☆27Updated 3 years ago
- ☆49Updated 4 years ago
- OCaml bit vector library☆34Updated last month
- A formalization of a Proof-of-Stake Nakamoto-style blockchain in Coq☆25Updated 5 years ago
- Various signed and unsigned integers for OCaml☆85Updated 3 years ago
- Just In Time compiler for OCaml native toplevel☆60Updated 2 years ago
- OCaml bindings for OpenAI API☆18Updated 2 years ago
- ☆53Updated 2 weeks ago
- A Deductive Verification Tool for OCaml Programs☆76Updated 4 months ago
- Multiparty Session Types in OCaml☆59Updated last year
- Verifier for effectful, higher-order programs☆17Updated this week