Alternatives and similar repositories for hardcaml-llvmsim

Users that are interested in hardcaml-llvmsim are comparing it to the libraries listed below

• ujamjar / hardcaml-examples
  HardCaml example designs
  ☆18Updated 7 years ago
• gdeest / ocaml-isl
  OCaml bindings for the Integer Set Library.
  ☆13Updated 11 years ago
• jfeser / bitarray
  Fast vectorized bitarrays for OCaml
  ☆16Updated 2 years ago
• OlivierNicole / macros-examples
  Examples to illustrate the use of experimental OCaml macros
  ☆13Updated 7 years ago
• fyquah / hardcaml_arty
  A hardcaml library to interface with arty boards
  ☆17Updated 2 years ago
• UnixJunkie / bisec-tree
  Bisector tree implementation in OCaml
  ☆25Updated last year
• backtracking / ocaml-bazaar
  ☆16Updated 3 weeks ago
• ujamjar / hardcaml-affirm
  Verification tools for HardCaml
  ☆10Updated 7 years ago
• bvaugon / ocamlclean
  OCaml Bytecode Cleaner
  ☆14Updated 3 years ago
• fadbadml-dev / FADBADml
  Automatic Differentiation: FADBAD++ for OCaml
  ☆14Updated 5 years ago
• gretay-js / ocamlfdo
  Feedback-directed optimizer for OCaml
  ☆35Updated 4 years ago
• gasche / opam-compiler-conf
  A small script to create short-lived OPAM compiler switches from experimental OCaml branches
  ☆18Updated 6 years ago
• jserot / caph
  A language and toolset for implementing dataflow applications on FPGAs
  ☆28Updated 6 years ago
• backtracking / creal
  An exact real arithmetic (aka constructive reals) for OCaml
  ☆13Updated last year
• mirage / mirage-xen
  Xen core platform libraries for MirageOS
  ☆18Updated 10 months ago
• cmangla / altera-sockit-hardcaml
  ☆10Updated 10 years ago
• hennequin-lab / gp
  Simple OCaml interface for Gnuplot
  ☆11Updated 4 years ago
• pqwy / ocaml-papi
  Performance Application Programming Interface for OCaml
  ☆16Updated 3 years ago
• OCamlPro / ocplib-simplex
  A library implementing a simplex algorithm, in a functional style, for solving systems of linear inequalities
  ☆15Updated 11 months ago
• kayceesrk / riscv-ocaml-cross
  RISC-V OCaml cross compiler
  ☆14Updated 6 years ago
• ismailbennani / websocketml
  A simple websocket library for OCaml with no dependencies
  ☆16Updated last year
• aryx / ocamltarzan
  DEPRECATED: Compile Time Reflection or Metaprogramming for OCaml
  ☆17Updated last year
• craigfe / ppx_irmin
  OCaml PPX extension for automatically generating Irmin types
  ☆11Updated 5 years ago
• emillon / gamepad_of_ocaml
  HTML5 Gamepad API bindings for js_of_ocaml
  ☆17Updated 7 years ago
• ujamjar / ctypes_of_clang
  Convert C-code to OCaml Ctypes via Clang
  ☆19Updated 6 years ago
• cedlemo / ctypes-stubs-generation-notes
  OCaml Ctypes stubs generation notes
  ☆20Updated 6 years ago
• robur-coop / memtrace-mirage
  Memtrace library for MirageOS
  ☆17Updated 9 months ago
• let-def / stb_truetype
  OCaml bindings to stb_truetype, a public domain truetype font rasterizer
  ☆10Updated 2 years ago
• Armael / lam
  ☆15Updated 9 years ago
• pqwy / ocb-stubblr
  Ocamlbuild helpers for C stubs
  ☆11Updated 7 years ago