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
- Elliptic curve library secp256k1 wrapper for Ocaml☆24Updated last year
- Simple hash algorithms in OCaml☆90Updated 2 weeks ago
- Provides functions to invoke amd64 instructions (such as clz,popcnt,rdtsc,rdpmc) when available, or compatible software implementation on…☆36Updated last week
- Web browser remote control☆14Updated 2 years ago
- ☆13Updated 2 years ago
- OCaml WebAssembly runtime powered by Wasmtime☆35Updated 3 years ago
- Formal verification for Solidity smart contracts with Rocq 🐓 Verify arbitrary properties on your smart contracts and make no bugs!☆33Updated this week
- Dependency graphs for OCaml modules, libraries and packages☆39Updated 10 months ago
- Bindings to io_uring for OCaml☆62Updated last year
- Tornado is a BitTorrent client written entirely in OCaml.☆57Updated last year
- OCaml hash-consing library☆51Updated last year
- Formal verification of the Algorand consensus protocol☆27Updated 2 years ago
- Cryptographic primitives for OCaml, in OCaml (also used in MirageOS)☆78Updated 3 weeks ago
- Topological sort algorithm☆13Updated last month
- Monitor Eio programs☆78Updated last year
- Purely functional GUI algebra☆75Updated 2 months ago
- Library of Raft consensus algorithm implemented in OCaml☆30Updated last year
- A library of splittable pseudo-random number generators for OCaml☆34Updated 4 months ago
- A Deductive Verification Tool for OCaml Programs☆73Updated 2 weeks ago
- OCaml bit vector library☆34Updated this week
- Testing and benchmarking tool for logic-related programs.☆26Updated 2 months ago
- Generation of comparison functions from types☆25Updated last week
- A toy implementation of the EVM in Lean4.☆10Updated last year
- Runtime assertion checking based on Gospel specifications☆46Updated last week
- OCaml bindings for the PKCS#11 cryptographic API☆22Updated 2 years ago
- LexiFi runtime types☆32Updated 4 years ago
- OCaml SSL bindings.☆57Updated 6 months ago
- ☆49Updated 4 years ago
- ☆73Updated 5 months ago