lukstafi / ocaml-cudajit
Bindings to the `cuda` and `nvrtc` libraries with a unified interface
☆16Updated 3 weeks ago
Related projects ⓘ
Alternatives and complementary repositories for ocaml-cudajit
- Effects-based OCaml Nameserver☆14Updated this week
- Experimental opam plugin☆16Updated 8 months ago
- Fast vectorized bitarrays for OCaml☆15Updated last year
- multi-shot continuations in OCaml☆46Updated 3 weeks ago
- IO should be just a library☆23Updated last year
- ☆41Updated last year
- Effectful OCaml with Objects and Variants☆29Updated last year
- A PPX deriver that automates differential testing for OCaml modules☆23Updated last month
- ᚛ A type of divination employed in attempts to locate identifiers matching a given type expression☆33Updated 2 weeks ago
- Parallel version of incremental library☆19Updated last year
- Algebraic structures in OCaml.☆21Updated this week
- Lock-free Sets and Maps for OCaml multicore☆31Updated 2 years ago
- OCaml bindings to Minisat☆12Updated 6 months ago
- A Framework for building Batched Concurrent Services☆20Updated last month
- An OCaml library for parsing documentation comments written in 'odoc markup', a superset of 'ocamldoc markup'.☆15Updated last year
- RISC-V OCaml cross compiler☆14Updated 5 years ago
- Lockless Multiple Producer Single Consumer Queue for ocaml-multicore☆18Updated 2 years ago
- LP and MIP modeling in OCaml☆26Updated 3 years ago
- [wip]…Low level bindigs to the GR plotting framework (gr-framework.org)☆14Updated 3 years ago
- A balanced binary search tree library for OCaml☆21Updated 2 weeks ago
- Final Year Project - A probabilisitic programming language in OCaml☆13Updated 4 years ago
- OCaml library to work with DWARF format☆33Updated 2 months ago
- A library for printing OCaml values with sharing☆24Updated 2 years ago
- Bisector tree implementation in OCaml☆25Updated 7 months ago
- Synonym of angkor☆25Updated 3 years ago
- Lower-Kinded Optics for OCaml☆21Updated 2 years ago
- Resizable arrays with O(ᵏ√N) insertion and deletion (Tiered Vectors)☆32Updated 11 months ago
- Feedback-directed optimizer for OCaml☆35Updated 3 years ago
- OCaml interface to the GMP library☆13Updated 9 months ago