Alternatives and similar repositories for fpga-lb

Users that are interested in fpga-lb are comparing it to the libraries listed below

• askvortsov1 / hardcaml-mips
  ☆41Updated 3 years ago
• fyquah / hardcaml_arty
  A hardcaml library to interface with arty boards
  ☆19Updated 2 years ago
• krohrer / caml-inspect
  Inspection of internal value representations and the object graph
  ☆32Updated 9 years ago
• alan-j-hu / llvm-dune
  The official LLVM OCaml binding but built using dune
  ☆25Updated 11 months ago
• hipsleek / Heifer
  Verifier for effectful, higher-order programs
  ☆17Updated this week
• pqwy / ocaml-papi
  Performance Application Programming Interface for OCaml
  ☆16Updated 3 years ago
• murbard / plebeia
  Optimized Patricia trie with disk storage
  ☆31Updated 6 years ago
• gretay-js / ocamlfdo
  Feedback-directed optimizer for OCaml
  ☆35Updated 4 years ago
• LaurentMazare / ocaml.jl
  Prototype code for some Julia-OCaml bindings
  ☆16Updated 5 years ago
• janestreet / noise-wireguard-ocaml
  An implementation of the Noise Protocol, intended to be used as the base for a Wireguard implementation in OCaml.
  ☆28Updated 5 years ago
• dinosaure / gilbraltar
  MirageOS on RPi4
  ☆64Updated 3 years ago
• LaurentMazare / ocaml-matplotlib
  Plotting for ocaml based on matplotlib.pyplot
  ☆33Updated 3 years ago
• janestreet / hardcaml_circuits
  Hardcaml Circuits
  ☆22Updated last week
• janestreet / ocaml_intrinsics
  Provides functions to invoke amd64 instructions (such as clz,popcnt,rdtsc,rdpmc) when available, or compatible software implementation on…
  ☆38Updated last week
• tarides / ocaml-jit
  Just In Time compiler for OCaml native toplevel
  ☆60Updated 2 years ago
• dariusf / ppx_debug
  Tools for record-and-replay debugging
  ☆44Updated 2 years ago
• jserot / caph
  A language and toolset for implementing dataflow applications on FPGAs
  ☆28Updated 6 years ago
• janestreet / topological_sort
  Topological sort algorithm
  ☆14Updated last week
• mirage / digestif
  Simple hash algorithms in OCaml
  ☆93Updated 8 months ago
• chetmurthy / ensemble
  The Ensemble distributed communications toolkit
  ☆12Updated 5 years ago
• pitag-ha / cardio-crumble
  Auditively feel the work of the runtime
  ☆33Updated last year
• xavierleroy / canonical-binary-tries
  Coq development accompanying the paper "Efficient Extensional Binary Tries"
  ☆21Updated last year
• rocq-community / coqffi
  Automatically generates Coq FFI bindings to OCaml libraries [maintainer=@lthms]
  ☆38Updated 2 years ago
• backtracking / ocaml-hashcons
  OCaml hash-consing library
  ☆53Updated last year
• mirage / repr
  ☆31Updated 2 months ago
• tachukao / ocaml-mlir
  OCaml Bindings to MLIR
  ☆15Updated 5 years ago
• xavierleroy / pringo
  A library of splittable pseudo-random number generators for OCaml
  ☆35Updated last year
• backtracking / bitv
  OCaml bit vector library
  ☆34Updated last month
• francoisthire / bam
  A PBT framework
  ☆10Updated 6 months ago
• b0-system / b0
  Software construction and deployment kit
  ☆36Updated last week