jserot / caphLinks
A language and toolset for implementing dataflow applications on FPGAs
☆28Updated 6 years ago
Alternatives and similar repositories for caph
Users that are interested in caph are comparing it to the libraries listed below
Sorting:
- LLVM JIT Cycle Accurate Simulator for HardCaml☆13Updated 8 years ago
- A hardcaml library to interface with arty boards☆17Updated 2 years ago
- A Mirage filesystem library☆45Updated 4 years ago
- A DSL to invoke otherworldly functors☆63Updated 3 years ago
- An eDSL for MirageOS apps☆20Updated 7 years ago
- ☆10Updated 10 years ago
- Scalable LRU caches for OCaml☆44Updated 3 years ago
- Virtual network interface and software bridge for Mirage☆16Updated 8 months ago
- OCaml bit vector library☆34Updated this week
- Bigstring intrinsics and fast blits based on memcpy/memmove☆40Updated 5 months ago
- Hardcaml Circuits☆20Updated 2 weeks ago
- OCaml bindings for clang☆23Updated 7 years ago
- MirageOS on RPi4☆64Updated 2 years ago
- Bisector tree implementation in OCaml☆25Updated last year
- Extension to OCaml for deriving functions from type declarations.☆26Updated 4 years ago
- OCaml code for generating and analysing pcap (packet capture) files☆20Updated 6 months ago
- Runtime types for OCaml (beta version)☆26Updated 2 weeks ago
- Feedback-directed optimizer for OCaml☆35Updated 4 years ago
- Yet another type combinator library☆55Updated 3 years ago
- Raspberry Pi boot support for the OCaml system (unreleased)☆56Updated last year
- Software construction and deployment kit☆36Updated last month
- A library of splittable pseudo-random number generators for OCaml☆35Updated 10 months ago
- OCaml bindings for the Integer Set Library.☆13Updated 11 years ago
- a distributed computing library for OCaml☆24Updated last year
- HardCaml implementation of the OCaml ZINC Abstract Machine☆45Updated 5 years ago
- Efficient Bloom filters for OCaml☆38Updated 3 years ago
- ☆35Updated 3 years ago
- HardCaml example designs☆18Updated 7 years ago
- compiler libraries repackaged☆21Updated last year
- Paste-eur as unikernel☆65Updated 9 months ago