liam923 / remora
A dependently-typed, array-polymorphic language that runs on parallel architectures
☆12Updated last week
Related projects: ⓘ
- An OCaml library implementing unifiable abstract binding trees (UABTs)☆28Updated 10 months ago
- A library of splittable pseudo-random number generators for OCaml☆34Updated 5 months ago
- An OCaml EDSL for describing and solving strategic games☆17Updated last year
- IO should be just a library☆23Updated last year
- Tools for record-and-replay debugging☆43Updated last year
- ☆32Updated last year
- Formal Semantics for Why3☆14Updated this week
- Experimental model checker for testing concurrent algorithms☆32Updated 2 months ago
- multi-shot continuations in OCaml☆46Updated 3 weeks ago
- ☆28Updated 4 months ago
- A parsing library that compiles grammars to combinators using elimination of left recursion☆18Updated 6 months ago
- ᚛ A type of divination employed in attempts to locate identifiers matching a given type expression☆35Updated last week
- ☆10Updated 2 months ago
- Parsing library based on Earley Algorithm☆17Updated 3 years ago
- A PPX deriver that automates differential testing for OCaml modules☆14Updated this week
- Effects-based OCaml Nameserver☆14Updated 2 months ago
- A balanced binary search tree library for OCaml☆19Updated last month
- ☆15Updated this week
- Lower-Kinded Optics for OCaml☆21Updated last year
- Notes and findings from our OCaml benchmarking adventures☆48Updated last year
- Commodity thread pools and concurrency primitives for OCaml 5☆54Updated last week
- ☆41Updated last year
- OCaml bit vector library☆33Updated 4 months ago
- Coq development accompanying the paper "Efficient Extensional Binary Tries"☆19Updated 5 months ago
- OCaml hacking ideas, small and large.☆19Updated 5 months ago
- Parallel version of incremental library☆19Updated 10 months ago
- Feedback-directed optimizer for OCaml☆35Updated 3 years ago
- 🩺 A library for compiler diagnostics☆34Updated 6 months ago
- RISC-V OCaml cross compiler☆14Updated 5 years ago
- ☆27Updated 5 years ago
- 🌳 Generate a fresh bonsai in your terminal☆24Updated 2 years ago