Alternatives and similar repositories for hardcaml_arty

Users that are interested in hardcaml_arty are comparing it to the libraries listed below

• askvortsov1 / hardcaml-mips
  ☆37Updated 3 years ago
• ujamjar / hardcaml-examples
  HardCaml example designs
  ☆18Updated 7 years ago
• ujamjar / hardcaml-llvmsim
  LLVM JIT Cycle Accurate Simulator for HardCaml
  ☆13Updated 8 years ago
• janestreet / hardcaml_verify
  Hardcaml Verification Tools
  ☆12Updated last month
• janestreet / hardcaml_circuits
  Hardcaml Circuits
  ☆21Updated 2 weeks ago
• jserot / caph
  A language and toolset for implementing dataflow applications on FPGAs
  ☆28Updated 6 years ago
• lukstafi / ocaml-cudajit
  Bindings to the `cuda` and `nvrtc` libraries with a unified interface
  ☆18Updated last month
• sidsabh / MirageRaft
  experiments on distributed unikernels
  ☆16Updated 6 months ago
• backtracking / creal
  An exact real arithmetic (aka constructive reals) for OCaml
  ☆13Updated last year
• zshipko / ocaml-vec
  Example OCaml library written using Rust and ocaml-rs
  ☆16Updated 4 years ago
• backtracking / bitv
  OCaml bit vector library
  ☆34Updated 3 weeks ago
• mirage / ocaml-tuntap
  Bindings to UNIX tuntap facilities
  ☆22Updated 3 months ago
• craigfe / ppx_irmin
  OCaml PPX extension for automatically generating Irmin types
  ☆11Updated 5 years ago
• mirage / repr
  ☆31Updated last year
• c-cube / ocaml-minisat
  OCaml bindings to Minisat
  ☆12Updated last year
• tarides / compiler-hacking
  Compiler Hacking Sessions Information
  ☆11Updated 2 years ago
• ujamjar / hardcaml-waveterm
  [Deprecated] Digital waveform viewer
  ☆9Updated 7 years ago
• patricoferris / riscv-o-spec
  An OCaml extension for RISC-V
  ☆16Updated 4 years ago
• janestreet / typerep
  Runtime types for OCaml (beta version)
  ☆25Updated 2 weeks ago
• kayceesrk / riscv-ocaml-cross
  RISC-V OCaml cross compiler
  ☆14Updated 6 years ago
• tarides / ocaml-jit
  Just In Time compiler for OCaml native toplevel
  ☆58Updated last year
• emillon / gamepad_of_ocaml
  HTML5 Gamepad API bindings for js_of_ocaml
  ☆17Updated 7 years ago
• witan-org / witan
  An ocaml implementation of conflict-driven reasoning
  ☆14Updated 6 years ago
• tachukao / ocaml-mlir
  OCaml Bindings to MLIR
  ☆15Updated 4 years ago
• mransan / raft
  Implementation of the Raft protocol in OCaml
  ☆20Updated 8 years ago
• gretay-js / ocamlfdo
  Feedback-directed optimizer for OCaml
  ☆36Updated 4 years ago
• tarides / unikernels
  MirageOS unikernels
  ☆20Updated 3 years ago
• robur-coop / utcp
  An implementation of the Transmission Control Protocol in OCaml
  ☆31Updated 3 weeks ago
• koonwen / ocaml-libbpf
  Libbpf C-bindings for OCaml
  ☆20Updated 2 months ago
• Antique-team / clangml
  OCaml bindings for clang
  ☆23Updated 7 years ago