janestreet / hardcaml_verify
Hardcaml Verification Tools
☆13Updated 3 weeks ago
Related projects: ⓘ
- Hardcaml Circuits☆16Updated 3 weeks ago
- ☆34Updated 2 years ago
- LLVM JIT Cycle Accurate Simulator for HardCaml☆13Updated 7 years ago
- An OCaml extension for RISC-V☆17Updated 3 years ago
- A hardcaml library to interface with arty boards☆16Updated last year
- HardCaml example designs☆18Updated 6 years ago
- Library for color and formatting in the terminal☆21Updated last year
- A simple websocket library for OCaml with no dependencies☆16Updated 5 months ago
- Minimal support for Canonical S-expressions☆27Updated last year
- OCaml Bindings to MLIR☆13Updated 3 years ago
- An exact real arithmetic (aka constructive reals) for OCaml☆13Updated 3 months ago
- Compiler Hacking Sessions Information☆12Updated last year
- Some fun with creating little collaborative browser things...☆12Updated 3 years ago
- A language and toolset for implementing dataflow applications on FPGAs☆27Updated 5 years ago
- compiler libraries repackaged☆23Updated 8 months ago
- The Stream and Genlex libraries for use with Camlp4 and Camlp5☆15Updated 2 years ago
- Bisector tree implementation in OCaml☆25Updated 5 months ago
- A simple BDD library for OCaml☆14Updated 2 years ago
- An OCaml library for parsing documentation comments written in 'odoc markup', a superset of 'ocamldoc markup'.☆16Updated 11 months ago
- Bindings to UNIX tuntap facilities☆20Updated 5 months ago
- OCaml Ctypes stubs generation notes☆19Updated 5 years ago
- U2F (FIDO Universal 2nd Factor) in OCaml☆26Updated 2 weeks ago
- ☆15Updated this week
- Just In Time compiler for OCaml native toplevel☆55Updated 8 months ago
- Library containing the definition of S-expressions and some base converters☆19Updated 3 weeks ago
- A traceable distributed computation framework☆22Updated 4 years ago
- Resizable arrays with O(ᵏ√N) insertion and deletion (Tiered Vectors)☆32Updated 9 months ago
- An OCaml library for describing Protobuf messages☆30Updated 3 years ago
- OCaml bindings to kqueue☆22Updated 7 months ago
- OCaml library for resizable arrays and strings☆27Updated last year