ujamjar / hardcaml-examples
HardCaml example designs
☆18Updated 6 years ago
Alternatives and similar repositories for hardcaml-examples:
Users that are interested in hardcaml-examples are comparing it to the libraries listed below
- LLVM JIT Cycle Accurate Simulator for HardCaml☆13Updated 7 years ago
- [Deprecated] Digital waveform viewer☆9Updated 6 years ago
- Verification tools for HardCaml☆10Updated 6 years ago
- RISC-V instruction set CPUs in HardCaml☆15Updated 8 years ago
- OCaml bindings for clang☆23Updated 6 years ago
- RISC-V port of the OCaml system☆43Updated 4 years ago
- HardCaml implementation of the OCaml ZINC Abstract Machine☆44Updated 5 years ago
- ☆17Updated 5 years ago
- The Ensemble distributed communications toolkit☆12Updated 4 years ago
- A language and toolset for implementing dataflow applications on FPGAs☆27Updated 5 years ago
- A hardcaml library to interface with arty boards☆15Updated 2 years ago
- Software construction and deployment kit☆33Updated 2 weeks ago
- nanomsg bindings for ocaml☆38Updated 4 years ago
- Hardcaml Verification Tools☆12Updated 5 months ago
- A Datalog implementation with an OCaml inspired module system☆44Updated 6 years ago
- Feedback-directed optimizer for OCaml☆35Updated 3 years ago
- Make OCaml native debugging awesome☆32Updated 5 years ago
- An OCaml extension for RISC-V☆16Updated 4 years ago
- Memthol is a visualizer for memory profiling data generated from OCaml programs.☆28Updated 2 years ago
- Hardcaml Circuits☆19Updated 5 months ago
- [research] A modular SMT solver in OCaml, based on mcSAT☆39Updated last year
- Xen core platform libraries for MirageOS☆18Updated 2 months ago
- Functional kernel written in OCaml.☆32Updated 11 years ago
- OCaml-TLS exposed to C☆23Updated 7 years ago
- Inspection of internal value representations and the object graph☆33Updated 8 years ago
- Read and write FAT format filesystems from OCaml☆24Updated last year
- Build an educational formally verified version of the Nand 2 Tetris course using Coq (and other formal tools).☆54Updated 3 years ago
- A Pretty Printer, based on Philip Wadler's "A prettier printer". But heavily modified to be efficient in a strict language.☆19Updated 4 years ago
- Monad-based linear types in OCaml, with a few syntax extensions☆37Updated 5 years ago
- OCaml client to GDB machine interface, superseded by https://github.com/copy/gdbprofiler☆16Updated 9 years ago