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
• jserot / caph
  A language and toolset for implementing dataflow applications on FPGAs
  ☆28Updated 6 years ago
• bobatkey / playtime
  An OCaml EDSL for describing and solving strategic games
  ☆17Updated last year
• gretay-js / ocamlfdo
  Feedback-directed optimizer for OCaml
  ☆36Updated 4 years ago
• xavierleroy / cdf-program-logics
  Companion Coq development for Xavier Leroy's 2021 lectures on program logics
  ☆40Updated 4 years ago
• krohrer / caml-inspect
  Inspection of internal value representations and the object graph
  ☆33Updated 8 years ago
• johnyob / dromedary
  Dromedary is an experimental subset of OCaml, using constraint-based type inference!
  ☆48Updated 8 months ago
• murbard / plebeia
  Optimized Patricia trie with disk storage
  ☆31Updated 6 years ago
• fyquah / hardcaml_arty
  A hardcaml library to interface with arty boards
  ☆16Updated 2 years ago
• rocq-community / coqffi
  Automatically generates Coq FFI bindings to OCaml libraries [maintainer=@lthms]
  ☆38Updated 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
• dariusf / ppx_debug
  Tools for record-and-replay debugging
  ☆43Updated 2 years ago
• pitag-ha / cardio-crumble
  Auditively feel the work of the runtime
  ☆31Updated last year
• backtracking / program-proofs-with-why3
  Some programs from Rustan Leino's "Program Proofs", in Why3.
  ☆16Updated 2 years ago
• pqwy / ocaml-papi
  Performance Application Programming Interface for OCaml
  ☆16Updated 2 years ago
• xavierleroy / pringo
  A library of splittable pseudo-random number generators for OCaml
  ☆34Updated 5 months ago
• yminsky / core-hello-world
  Some simple exercises for getting up and running with OCaml, Dune, Core and Async
  ☆16Updated 7 years ago
• francoisthire / bam
  A PBT framework
  ☆9Updated last month
• arthuraa / cryptis
  ☆11Updated last week
• jmid / mutaml
  An OCaml mutation tester
  ☆66Updated 2 months ago
• backtracking / bitv
  OCaml bit vector library
  ☆34Updated 3 weeks ago
• robur-coop / utcp
  An implementation of the Transmission Control Protocol in OCaml
  ☆31Updated 3 weeks ago
• xavierleroy / canonical-binary-tries
  Coq development accompanying the paper "Efficient Extensional Binary Tries"
  ☆22Updated last year
• mirage / repr
  ☆31Updated last year
• ngernest / mica
  A PPX deriver that automates differential testing for OCaml modules
  ☆24Updated 6 months ago
• tmcgilchrist / ocaml-debug-performance
  Notes on OCaml debugging and performance
  ☆16Updated 10 months ago
• backtracking / ocaml-bazaar
  ☆14Updated last week
• formal-land / coq-bonsai
  🌳 Generate a fresh bonsai in your terminal
  ☆27Updated 3 years ago
• strymonas / strymonas-ocaml
  ☆31Updated 3 months ago
• prismlab / verified_ocaml_gc
  For Jar artifacts
  ☆15Updated 4 months ago