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
  ☆36Updated 2 years ago
• fyquah / hardcaml_arty
  A hardcaml library to interface with arty boards
  ☆15Updated 2 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.
  ☆27Updated 5 years ago
• jserot / caph
  A language and toolset for implementing dataflow applications on FPGAs
  ☆27Updated 6 years ago
• backtracking / bitv
  OCaml bit vector library
  ☆32Updated 6 months ago
• krohrer / caml-inspect
  Inspection of internal value representations and the object graph
  ☆33Updated 8 years ago
• mit-plv / rupicola
  Gallina to Bedrock2 compilation toolkit
  ☆54Updated this week
• murbard / plebeia
  Optimized Patricia trie with disk storage
  ☆31Updated 6 years ago
• pqwy / ocaml-papi
  Performance Application Programming Interface for OCaml
  ☆16Updated 2 years ago
• dinosaure / gilbraltar
  MirageOS on RPi4
  ☆61Updated 2 years ago
• gretay-js / ocamlfdo
  Feedback-directed optimizer for OCaml
  ☆35Updated 3 years ago
• janestreet / topological_sort
  Topological sort algorithm
  ☆13Updated 2 weeks ago
• backtracking / ocaml-hashcons
  OCaml hash-consing library
  ☆51Updated last year
• xavierleroy / cdf-program-logics
  Companion Coq development for Xavier Leroy's 2021 lectures on program logics
  ☆40Updated 4 years ago
• johnyob / dromedary
  Dromedary is an experimental subset of OCaml, using constraint-based type inference!
  ☆48Updated 6 months ago
• pitag-ha / cardio-crumble
  Auditively feel the work of the runtime
  ☆31Updated last year
• rocq-community / coqffi
  Automatically generates Coq FFI bindings to OCaml libraries [maintainer=@lthms]
  ☆37Updated 2 years ago
• chetmurthy / ensemble
  The Ensemble distributed communications toolkit
  ☆12Updated 4 years ago
• backtracking / ocaml-bazaar
  ☆14Updated last month
• janestreet / ocaml_intrinsics
  Provides functions to invoke amd64 instructions (such as clz,popcnt,rdtsc,rdpmc) when available, or compatible software implementation on…
  ☆35Updated 2 weeks ago
• art-w / ocaml-webdriver
  Web browser remote control
  ☆14Updated 2 years ago
• colis-anr / colis-language
  A symbolic analyser for shell scripts.
  ☆22Updated 3 years ago
• dariusf / ppx_debug
  Tools for record-and-replay debugging
  ☆43Updated 2 years ago
• hipsleek / Heifer
  effects system for continuation
  ☆17Updated last week
• robur-coop / memtrace-mirage
  Memtrace library for MirageOS
  ☆16Updated 3 months ago
• hesterjeng / longleaf
  OCaml Algorithmic Trading
  ☆18Updated this week
• jserot / lascar
  An OCaml library for manipulating Labeled Transition Systems
  ☆24Updated last year
• backtracking / program-proofs-with-why3
  Some programs from Rustan Leino's "Program Proofs", in Why3.
  ☆16Updated 2 years ago
• emillon / gamepad_of_ocaml
  HTML5 Gamepad API bindings for js_of_ocaml
  ☆17Updated 7 years ago
• maiste / equinoxe
  Wrapper to Equinix API - Archived
  ☆12Updated last month