ujamjar / hardcaml-llvmsim
LLVM JIT Cycle Accurate Simulator for HardCaml
☆13Updated 7 years ago
Alternatives and similar repositories for hardcaml-llvmsim:
Users that are interested in hardcaml-llvmsim are comparing it to the libraries listed below
- HardCaml example designs☆18Updated 6 years ago
- [Deprecated] Digital waveform viewer☆9Updated 6 years ago
- OCaml syntax extension for synchronous programming...☆31Updated last year
- An exact real arithmetic (aka constructive reals) for OCaml☆13Updated 9 months ago
- Bisector tree implementation in OCaml☆25Updated 11 months ago
- Verification tools for HardCaml☆10Updated 6 years ago
- OCaml library to work with DWARF format☆34Updated last month
- [research] A modular SMT solver in OCaml, based on mcSAT☆39Updated last year
- OCaml bindings for clang☆23Updated 6 years ago
- Examples to illustrate the use of experimental OCaml macros☆12Updated 7 years ago
- Thin OCaml bindings to various low-level system APIs not covered by Unix module☆54Updated 2 weeks ago
- OCaml bytecode library tools☆32Updated 2 years ago
- [wip]…Low level bindigs to the GR plotting framework (gr-framework.org)☆14Updated 3 years ago
- A simple BDD library for OCaml☆13Updated 2 years ago
- Fast vectorized bitarrays for OCaml☆15Updated last year
- Bindings to the `cuda` and `nvrtc` libraries with a unified interface☆17Updated 3 months ago
- A language and toolset for implementing dataflow applications on FPGAs☆27Updated 5 years ago
- Libbpf C-bindings for OCaml☆17Updated 8 months ago
- Software construction and deployment kit☆33Updated last week
- ☆20Updated last year
- A simple websocket library for OCaml with no dependencies☆15Updated 11 months ago
- Memthol is a visualizer for memory profiling data generated from OCaml programs.☆27Updated 2 years ago
- A hardcaml library to interface with arty boards☆15Updated 2 years ago
- Automatic Differentiation: FADBAD++ for OCaml☆14Updated 4 years ago
- RPC client/server for Irmin☆19Updated 3 years ago
- Code for "Staged Generic Programming" (ICFP 2017)☆26Updated last year
- A modular library for CDCL(T) SMT solvers, with [wip] proof generation.☆24Updated 2 months ago
- ☆14Updated 2 weeks ago
- The Ensemble distributed communications toolkit☆12Updated 4 years ago
- Monad-based linear types in OCaml, with a few syntax extensions☆37Updated 5 years ago