OCamlPro / ocaml-solidity
Ocaml-solidity provides a Solidity parser and typechecker
☆30Updated last year
Related projects ⓘ
Alternatives and complementary repositories for ocaml-solidity
- Optimized Patricia trie with disk storage☆31Updated 5 years ago
- Elliptic curve library secp256k1 wrapper for Ocaml☆24Updated 11 months ago
- Formal verification for Solidity smart contracts with Coq 🐓 Verify arbitrary properties on your smart contracts and make no bugs!☆18Updated 3 weeks ago
- Provides functions to invoke amd64 instructions (such as clz,popcnt,rdtsc,rdpmc) when available, or compatible software implementation on…☆29Updated last week
- OCaml WebAssembly runtime powered by Wasmtime☆33Updated 2 years ago
- Topological sort algorithm☆13Updated 2 months ago
- Web browser remote control☆14Updated last year
- Testing and benchmarking tool for logic-related programs.☆25Updated 2 months ago
- Formal verification of the Algorand consensus protocol☆26Updated 2 years ago
- Easily build clients and servers on top of a common REST API, automatically derived from OCaml types.☆19Updated last week
- A corpus of automatically graded exercises to learn functional programming in OCaml.☆31Updated 3 months ago
- Dependency graphs for OCaml modules, libraries and packages☆34Updated 4 months ago
- Letters is an OCaml library for creating and sending emails over SMTP using LWT☆54Updated 8 months ago
- ☆47Updated 2 months ago
- A Deductive Verification Tool for OCaml Programs☆60Updated 4 months ago
- OCaml hash-consing library☆51Updated 9 months ago
- The 'ft' tool is a multi-account terminal wallet for the Free TON blockchain. It is based on the freeton_ocaml_sdk.☆14Updated 2 years ago
- ☆13Updated 2 years ago
- Purely functional GUI algebra☆72Updated 2 years ago
- A library of splittable pseudo-random number generators for OCaml☆34Updated 7 months ago
- Inspection of internal value representations and the object graph☆33Updated 8 years ago
- OCaml bindings for the PKCS#11 cryptographic API☆22Updated last year
- Generation of comparison functions from types☆22Updated last week
- LexiFi runtime types☆32Updated 4 years ago
- OCaml bit vector library☆32Updated 3 weeks ago
- Implementation of maps of integers with Patricia trees☆20Updated 4 years ago
- Prof. Spacetime☆28Updated 4 years ago
- ☆25Updated 2 years ago
- State-Transition Systems for Smart Contracts☆24Updated 4 years ago
- Show the internal dependencies in your OCaml/Reason/Dune project☆58Updated last week