xThaid / fpga-lb
A toy L4 load balancer running on FPGA
☆18Updated 3 years ago
Alternatives and similar repositories for fpga-lb:
Users that are interested in fpga-lb are comparing it to the libraries listed below
- ☆34Updated 2 years ago
- A hardcaml library to interface with arty boards☆15Updated 2 years ago
- ☆14Updated last week
- MirageOS on RPi4☆61Updated 2 years ago
- OCaml bit vector library☆32Updated 4 months ago
- Dromedary is an experimental subset of OCaml, using constraint-based type inference!☆48Updated 4 months ago
- The Ensemble distributed communications toolkit☆12Updated 4 years ago
- Performance Application Programming Interface for OCaml☆16Updated 2 years ago
- Web browser remote control☆14Updated 2 years ago
- A language and toolset for implementing dataflow applications on FPGAs☆27Updated 5 years ago
- Some simple exercises for getting up and running with OCaml, Dune, Core and Async☆16Updated 6 years ago
- OCaml hash-consing library☆51Updated last year
- Optimized Patricia trie with disk storage☆31Updated 6 years ago
- Tools for record-and-replay debugging☆43Updated 2 years ago
- Notes on OCaml debugging and performance☆16Updated 7 months ago
- Feedback-directed optimizer for OCaml☆35Updated 3 years ago
- MirageOS unikernels☆20Updated 2 years ago
- Purely functional GUI algebra☆74Updated 2 years ago
- Inspection of internal value representations and the object graph☆33Updated 8 years ago
- Wrapper to Equinix API - Archived☆12Updated 5 months ago
- Automatically generates Coq FFI bindings to OCaml libraries [maintainer=@lthms]☆36Updated last year
- ☆28Updated this week
- 6502 chip simulator in OCaml☆11Updated 11 months ago
- A small library to output memory graph for ocaml values☆37Updated 8 months ago
- ☆32Updated last week
- effects system for continuation☆17Updated last week
- Companion Coq development for Xavier Leroy's 2021 lectures on program logics☆40Updated 3 years ago
- Diffusers API in OCaml☆21Updated 2 years ago
- ☆31Updated last year
- An implementation of the Noise Protocol, intended to be used as the base for a Wireguard implementation in OCaml.☆26Updated 5 years ago