zshipko / futhark-bindgen
A Futhark binding generator for Rust and OCaml
☆28Updated 9 months ago
Related projects ⓘ
Alternatives and complementary repositories for futhark-bindgen
- OCaml implementation of the T-Digest algorithm☆26Updated 8 months ago
- IO should be just a library☆23Updated last year
- A library of splittable pseudo-random number generators for OCaml☆34Updated 7 months ago
- ☆61Updated 3 years ago
- 🩺 A library for compiler diagnostics☆35Updated last week
- ☆27Updated 6 months ago
- Algebraic structures in OCaml.☆21Updated this week
- multi-shot continuations in OCaml☆45Updated 2 weeks ago
- OCANNL: OCaml Compiles Algorithms for Neural Networks Learning☆67Updated this week
- Lock-free Sets and Maps for OCaml multicore☆31Updated 2 years ago
- Resizable arrays with O(ᵏ√N) insertion and deletion (Tiered Vectors)☆32Updated 11 months ago
- ᚛ A type of divination employed in attempts to locate identifiers matching a given type expression☆34Updated this week
- 🔙 Backward lists for OCaml☆21Updated last month
- ☆31Updated last year
- Bindings to the `cuda` and `nvrtc` libraries with a unified interface☆16Updated last week
- Memthol is a visualizer for memory profiling data generated from OCaml programs.☆27Updated last year
- Experimental opam plugin☆16Updated 8 months ago
- LP and MIP modeling in OCaml☆26Updated 2 years ago
- Property-based testing at ease☆42Updated 3 years ago
- A Deductive Verification Tool for OCaml Programs☆60Updated 4 months ago
- A library implementing a simplex algorithm, in a functional style, for solving systems of linear inequalities☆13Updated 5 months ago
- Efficient binder representation in OCaml☆39Updated 4 months ago
- Command-Line Argument Parsing, imperative style with a consumption mechanism.☆24Updated last year
- Call Futhark programs from Standard ML☆10Updated last month
- Lower-Kinded Optics for OCaml☆21Updated 2 years ago
- (Extremely) simple standalone symbolic algebra library in OCaml. (Mirrored from original site.)☆12Updated 13 years ago
- OCaml with typed algebraic effects☆48Updated 6 years ago
- A Framework for building Batched Concurrent Services☆20Updated last month
- A PBT framework☆9Updated 2 weeks ago