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
  ☆37Updated 3 years ago
• janestreet / hardcaml_circuits
  Hardcaml Circuits
  ☆21Updated last week
• dariusf / ppx_debug
  Tools for record-and-replay debugging
  ☆43Updated 2 years ago
• fyquah / hardcaml_arty
  A hardcaml library to interface with arty boards
  ☆15Updated 2 years ago
• backtracking / bitv
  OCaml bit vector library
  ☆34Updated this week
• emillon / gamepad_of_ocaml
  HTML5 Gamepad API bindings for js_of_ocaml
  ☆17Updated 7 years ago
• art-w / ocaml-webdriver
  Web browser remote control
  ☆14Updated 2 years ago
• johnyob / dromedary
  Dromedary is an experimental subset of OCaml, using constraint-based type inference!
  ☆48Updated 7 months ago
• krohrer / caml-inspect
  Inspection of internal value representations and the object graph
  ☆33Updated 8 years ago
• hipsleek / Heifer
  effects system for continuation
  ☆17Updated this week
• janestreet / noise-wireguard-ocaml
  An implementation of the Noise Protocol, intended to be used as the base for a Wireguard implementation in OCaml.
  ☆27Updated 5 years ago
• mirage / digestif
  Simple hash algorithms in OCaml
  ☆90Updated 2 weeks ago
• xavierleroy / cdf-program-logics
  Companion Coq development for Xavier Leroy's 2021 lectures on program logics
  ☆40Updated 4 years ago
• tmcgilchrist / ocaml-debug-performance
  Notes on OCaml debugging and performance
  ☆16Updated 9 months ago
• maiste / equinoxe
  Wrapper to Equinix API - Archived
  ☆12Updated last month
• jserot / caph
  A language and toolset for implementing dataflow applications on FPGAs
  ☆28Updated 6 years ago
• dinosaure / gilbraltar
  MirageOS on RPi4
  ☆61Updated 2 years ago
• chetmurthy / ensemble
  The Ensemble distributed communications toolkit
  ☆12Updated 4 years ago
• robur-coop / notty-miou
  ☆14Updated 2 months ago
• arthuraa / cryptis
  ☆11Updated last week
• art-w / mcavl
  Lock-free Sets and Maps for OCaml multicore
  ☆33Updated 2 years ago
• pqwy / ocaml-papi
  Performance Application Programming Interface for OCaml
  ☆16Updated 2 years ago
• alan-j-hu / llvm-dune
  The official LLVM OCaml binding but built using dune
  ☆25Updated 3 months ago
• gretay-js / ocamlfdo
  Feedback-directed optimizer for OCaml
  ☆35Updated 4 years ago
• ujamjar / hardcaml-zinc
  HardCaml implementation of the OCaml ZINC Abstract Machine
  ☆44Updated 5 years ago
• backtracking / ocaml-bazaar
  ☆14Updated last week
• sim642 / odep
  Dependency graphs for OCaml modules, libraries and packages
  ☆39Updated 10 months ago
• mit-plv / rupicola
  Gallina to Bedrock2 compilation toolkit
  ☆54Updated this week
• prismlab / verified_ocaml_gc
  For Jar artifacts
  ☆15Updated 3 months ago
• ktahar / ocaml-lp
  LP and MIP modeling in OCaml
  ☆28Updated 2 months ago