Alternatives and similar repositories for hardcaml_arty

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

• sidsabh / MirageRaft
  experiments on distributed unikernels
  ☆16Updated 8 months ago
• ujamjar / hardcaml-llvmsim
  LLVM JIT Cycle Accurate Simulator for HardCaml
  ☆13Updated 8 years ago
• janestreet / hardcaml_circuits
  Hardcaml Circuits
  ☆21Updated last week
• janestreet / hardcaml_verify
  Hardcaml Verification Tools
  ☆12Updated last week
• mirage / repr
  ☆31Updated 2 years ago
• b0-system / b0
  Software construction and deployment kit
  ☆33Updated last week
• mirage / mirage-vnetif
  Virtual network interface and software bridge for Mirage
  ☆16Updated 5 months ago
• pqwy / ocaml-papi
  Performance Application Programming Interface for OCaml
  ☆16Updated 2 years ago
• bvaugon / ocamlclean
  OCaml Bytecode Cleaner
  ☆14Updated 3 years ago
• UnixJunkie / bisec-tree
  Bisector tree implementation in OCaml
  ☆25Updated last year
• backtracking / bitv
  OCaml bit vector library
  ☆34Updated 2 months ago
• backtracking / creal
  An exact real arithmetic (aka constructive reals) for OCaml
  ☆13Updated last year
• gdeest / ocaml-isl
  OCaml bindings for the Integer Set Library.
  ☆13Updated 11 years ago
• ujamjar / hardcaml-examples
  HardCaml example designs
  ☆19Updated 7 years ago
• c-cube / ocaml-minisat
  OCaml bindings to Minisat
  ☆12Updated last year
• yomimono / url-shortener
  Example URL shortener MirageOS unikernel using Chamelon.
  ☆18Updated 3 years ago
• zshipko / ocaml-vec
  Example OCaml library written using Rust and ocaml-rs
  ☆16Updated 4 years ago
• pascutto / cachecache
  Efficient caching library for OCaml
  ☆33Updated last year
• tarides / ocaml-jit
  Just In Time compiler for OCaml native toplevel
  ☆58Updated last year
• kit-ty-kate / opam-build
  Experimental opam plugin
  ☆16Updated 4 months ago
• mirage / bloomf
  Efficient Bloom filters for OCaml
  ☆38Updated 3 years ago
• jfeser / bitarray
  Fast vectorized bitarrays for OCaml
  ☆16Updated 2 years ago
• art-w / varray
  Resizable arrays with O(ᵏ√N) insertion and deletion (Tiered Vectors)
  ☆32Updated last year
• mransan / raft
  Implementation of the Raft protocol in OCaml
  ☆20Updated 8 years ago
• fadbadml-dev / FADBADml
  Automatic Differentiation: FADBAD++ for OCaml
  ☆14Updated 4 years ago
• mirage / metrics
  Infrastructure to collect metrics from OCaml applications.
  ☆45Updated last month
• extism / ocaml-sdk
  Extism OCaml Host SDK - easily run WebAssembly modules / plugins from OCaml applications
  ☆19Updated 8 months ago
• tarides / unikernels
  MirageOS unikernels
  ☆20Updated 3 years ago
• anentropic / ocaml-spectrum
  Library for color and formatting in the terminal
  ☆21Updated 2 years ago
• kayceesrk / riscv-ocaml-cross
  RISC-V OCaml cross compiler
  ☆14Updated 6 years ago