zshipko / futhark-bindgen
A Futhark binding generator for Rust and OCaml
โ29Updated last year
Alternatives and similar repositories for futhark-bindgen:
Users that are interested in futhark-bindgen are comparing it to the libraries listed below
- ๐ฉบ A library for compiler diagnosticsโ44Updated 2 months ago
- IO should be just a libraryโ23Updated last year
- ๐ฆ Reusable components based on algebraic effectsโ50Updated 6 months ago
- โ29Updated last month
- Efficient binder representation in OCamlโ42Updated 9 months ago
- multi-shot continuations in OCamlโ48Updated 2 months ago
- Property-based testing at easeโ42Updated 3 years ago
- Bindings to the `cuda` and `nvrtc` libraries with a unified interfaceโ18Updated 2 weeks ago
- Algebraic structures in OCaml.โ23Updated last month
- A library of splittable pseudo-random number generators for OCamlโ34Updated 3 months ago
- Resizable arrays with O(แตโN) insertion and deletion (Tiered Vectors)โ32Updated last year
- Effects-based OCaml Nameserverโ20Updated this week
- โ31Updated last year
- โ62Updated 4 years ago
- Lock-free Sets and Maps for OCaml multicoreโ32Updated 2 years ago
- ๐ Backward lists for OCamlโ22Updated 6 months ago
- ZIP archive and deflate codec for OCamlโ24Updated 5 months ago
- OCaml with typed algebraic effectsโ49Updated 6 years ago
- For Jar artifactsโ14Updated 2 months ago
- Call Futhark programs from Standard MLโ10Updated 7 months ago
- OCaml implementation of the T-Digest algorithmโ26Updated last year
- Safe OCaml-Rust Foreign Function Interfaceโ35Updated 2 years ago
- Lower-Kinded Optics for OCamlโ23Updated last month
- Tools for record-and-replay debuggingโ43Updated 2 years ago
- แ A type of divination employed in attempts to locate identifiers matching a given type expressionโ34Updated 2 months ago
- Interactive breakpoints!โ43Updated 11 months ago
- โ17Updated last week
- A balanced binary search tree library for OCamlโ21Updated 4 months ago
- Command-Line Argument Parsing, imperative style with a consumption mechanism.โ24Updated 2 years ago
- โ11Updated 2 years ago