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
- Lock-free Sets and Maps for OCaml multicoreโ31Updated 2 years ago
- OCaml implementation of the T-Digest algorithmโ26Updated 11 months ago
- ๐ฉบ A library for compiler diagnosticsโ38Updated 2 weeks ago
- โ62Updated 4 years ago
- IO should be just a libraryโ23Updated last year
- Dependency graphs for OCaml modules, libraries and packagesโ37Updated 7 months ago
- Bindings to the `cuda` and `nvrtc` libraries with a unified interfaceโ17Updated 2 months ago
- A library with an encoding of higher kinded types in OCamlโ40Updated 3 months ago
- แ A type of divination employed in attempts to locate identifiers matching a given type expressionโ34Updated this week
- Tools for record-and-replay debuggingโ43Updated last year
- OCaml with typed algebraic effectsโ49Updated 6 years ago
- multi-shot continuations in OCamlโ48Updated last week
- Efficient binder representation in OCamlโ40Updated 7 months ago
- Declarative events and signals for OCamlโ50Updated 10 months ago
- โ28Updated 9 months ago
- ๐ฆ Reusable components based on algebraic effectsโ48Updated 4 months ago
- Ocaml binding generator for vulkanโ39Updated last year
- Property-based testing at easeโ42Updated 3 years ago
- Effectful OCaml with Objects and Variantsโ29Updated 2 years ago
- Interactive breakpoints!โ43Updated 9 months ago
- โ31Updated last year
- Resizable arrays with O(แตโN) insertion and deletion (Tiered Vectors)โ32Updated last year
- Commodity thread pools and concurrency primitives for OCaml 5โ56Updated 2 months ago
- ๐ Backward lists for OCamlโ22Updated 4 months ago
- A balanced binary search tree library for OCamlโ21Updated 2 months ago
- Painless micro-benchmarksโ20Updated 5 years ago
- Parsing library based on Earley Algorithmโ18Updated 3 years ago
- A tool that creates stand-alone source bundles from opam packagesโ26Updated last year
- Trivial/Tagless Polytypic Functionsโ23Updated 4 years ago