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
• backtracking / ocaml-bazaar
  ☆16Updated this week
• OlivierNicole / macros-examples
  Examples to illustrate the use of experimental OCaml macros
  ☆13Updated 7 years ago
• gdeest / ocaml-isl
  OCaml bindings for the Integer Set Library.
  ☆13Updated 11 years ago
• Armael / lam
  ☆15Updated 9 years ago
• jfeser / bitarray
  Fast vectorized bitarrays for OCaml
  ☆16Updated 2 years ago
• fyquah / hardcaml_arty
  A hardcaml library to interface with arty boards
  ☆17Updated 2 years ago
• mirage / mirage-vnetif
  Virtual network interface and software bridge for Mirage
  ☆16Updated 8 months ago
• ujamjar / hardcaml-affirm
  Verification tools for HardCaml
  ☆10Updated 7 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
• bvaugon / ocamlclean
  OCaml Bytecode Cleaner
  ☆14Updated 3 years ago
• nandor / llir-opt
  LLIR cross-language post-link optimiser for OCaml and C
  ☆18Updated 3 years ago
• pqwy / ocaml-papi
  Performance Application Programming Interface for OCaml
  ☆16Updated 3 years ago
• arlencox / QUICr
  QUICr parametric abstract domain for sets
  ☆12Updated 10 years ago
• UnixJunkie / bisec-tree
  Bisector tree implementation in OCaml
  ☆25Updated last year
• dbuenzli / omod
  Lookup and load installed OCaml modules
  ☆16Updated 3 months ago
• mirage / mirage-xen
  Xen core platform libraries for MirageOS
  ☆18Updated 9 months ago
• lukstafi / ocaml-cudajit
  Bindings to the `cuda` and `nvrtc` libraries with a unified interface
  ☆19Updated 2 months ago
• dbuenzli / trel
  Relational programming for OCaml (unreleased)
  ☆24Updated 3 years ago
• Gbury / ocaml-memgraph
  A small library to output memory graph for ocaml values
  ☆39Updated last year
• fadbadml-dev / FADBADml
  Automatic Differentiation: FADBAD++ for OCaml
  ☆14Updated 5 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
• b0-system / b0
  Software construction and deployment kit
  ☆34Updated last week
• stevenvar / OCaLustre
  OCaml syntax extension for synchronous programming...
  ☆32Updated 2 years ago
• xavierleroy / pringo
  A library of splittable pseudo-random number generators for OCaml
  ☆35Updated 9 months 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
• craigfe / ppx_irmin
  OCaml PPX extension for automatically generating Irmin types
  ☆11Updated 5 years ago
• ygrek / ocaml-zstd
  OCaml bindings to Zstandard (http://zstd.net)
  ☆21Updated last year