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:
- Elliptic curve library secp256k1 wrapper for Ocaml☆24Updated last year
- Optimized Patricia trie with disk storage☆31Updated 6 years ago
- The official LLVM OCaml binding but built using dune☆25Updated 8 months ago
- Provides functions to invoke amd64 instructions (such as clz,popcnt,rdtsc,rdpmc) when available, or compatible software implementation on…☆36Updated last week
- Some simple exercises for getting up and running with OCaml, Dune, Core and Async☆16Updated 7 years ago
- Simple hash algorithms in OCaml☆92Updated 4 months ago
- Web browser remote control☆14Updated 2 years ago
- ☆13Updated 3 years ago
- Cryptographic primitives for OCaml, in OCaml (also used in MirageOS)☆81Updated last month
- LexiFi runtime types☆32Updated 4 years ago
- Topological sort algorithm☆13Updated last week
- OCaml WebAssembly runtime powered by Wasmtime☆35Updated 3 years ago
- OCaml hash-consing library☆51Updated last year
- Generation of comparison functions from types☆27Updated last week
- compiler libraries repackaged☆21Updated last year
- Formal verification of the Algorand consensus protocol☆27Updated 2 years ago
- OCaml bit vector library☆34Updated last month
- Dependency graphs for OCaml modules, libraries and packages☆39Updated 2 months ago
- ☆31Updated 2 years ago
- Just In Time compiler for OCaml native toplevel☆59Updated last year
- general value printing within compiled programs☆31Updated 5 years ago
- ☆49Updated 4 years ago
- preprocessor for easier stub generation with ocaml-ctypes☆56Updated 2 years ago
- Library of Raft consensus algorithm implemented in OCaml☆30Updated 2 years ago
- An implementation of the Noise Protocol, intended to be used as the base for a Wireguard implementation in OCaml.☆28Updated 5 years ago
- Notes on OCaml debugging and performance☆16Updated last month
- OCaml PPX deriver for reflection☆53Updated 2 years ago
- OCaml syntax extension for quoting code☆27Updated 2 months ago
- ☆26Updated 3 years ago
- generic I/O streams of bytes☆27Updated 3 months ago