zshipko / futhark-bindgenLinks
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
Sorting:
- ☆62Updated 4 years ago
- Lock-free Sets and Maps for OCaml multicore☆35Updated 2 years ago
- OCaml implementation of the T-Digest algorithm☆26Updated last month
- IO should be just a library☆23Updated last year
- ☆17Updated last month
- Efficient binder representation in OCaml☆42Updated 11 months ago
- OCaml with typed algebraic effects☆50Updated 6 years ago
- multi-shot continuations in OCaml☆48Updated 4 months ago
- ᚛ A type of divination employed in attempts to locate identifiers matching a given type expression☆34Updated last month
- Effects-based OCaml Nameserver☆20Updated 3 weeks ago
- Resizable arrays with O(ᵏ√N) insertion and deletion (Tiered Vectors)☆32Updated last year
- Dependency graphs for OCaml modules, libraries and packages☆39Updated 11 months ago
- 🦠 Reusable components based on algebraic effects☆50Updated 8 months ago
- ☆11Updated 2 years ago
- Tools for record-and-replay debugging☆43Updated 2 years ago
- Faithful reimplementation of Minisat 2.2 in OCaml.☆38Updated 2 years ago
- ☆31Updated 3 months ago
- ☆12Updated 4 years ago
- Algebraic structures in OCaml.☆24Updated 3 months ago
- Kleene algebra modulo theories☆27Updated 2 years ago
- ☆31Updated last year
- Lower-Kinded Optics for OCaml☆23Updated 3 months ago
- Experimental opam plugin☆16Updated 2 months ago
- ☆42Updated 2 years ago
- Fast vectorized bitarrays for OCaml☆16Updated last year
- Bindings to the `cuda` and `nvrtc` libraries with a unified interface☆18Updated 3 weeks ago
- A library for printing OCaml values with sharing☆24Updated 3 years ago
- A scheduler independent blocking mechanism☆17Updated last year
- A library of splittable pseudo-random number generators for OCaml☆34Updated 5 months ago
- Ocaml binding generator for vulkan☆40Updated last year