A dependently-typed, array-polymorphic language that runs on parallel architectures
☆24Sep 11, 2024Updated last year
Alternatives and similar repositories for remora
Users that are interested in remora are comparing it to the libraries listed below
Sorting:
- Linear algebra package for Futhark☆17Sep 30, 2025Updated 5 months ago
- generic I/O streams of bytes☆27Jul 3, 2025Updated 8 months ago
- A PPX deriver that automates differential testing for OCaml modules☆26Nov 30, 2024Updated last year
- Libraries for declaring and using type-level values.☆11Mar 28, 2019Updated 6 years ago
- ML Basis for Poly/ML☆13Oct 18, 2025Updated 4 months ago
- A reference card for GNU APL☆11Feb 19, 2025Updated last year
- A safer FFI interface for OCaml☆11Jul 20, 2024Updated last year
- Starting template for https://react-book.melange.re☆10Jun 25, 2024Updated last year
- Unit test framework for OCaml☆12May 29, 2024Updated last year
- ☆14Apr 1, 2025Updated 11 months ago
- experiments in building tiny tracing JITs in various languages (Prolog to start)☆11Feb 10, 2026Updated 2 weeks ago
- Composable image processing library for OCaml☆41Sep 30, 2025Updated 5 months ago
- ReScript support for Zed editor☆21Jan 13, 2026Updated last month
- A portable pure OCaml CA Store☆16Mar 15, 2024Updated last year
- ☆11Feb 25, 2024Updated 2 years ago
- CSS Typed functional interface in jsoo, bindings to inline styles and emotion☆12Oct 9, 2023Updated 2 years ago
- ☆18Nov 3, 2025Updated 3 months ago
- A library for probabilistic programming☆15Jan 18, 2025Updated last year
- a pure julia APL implementation that gets mostly "compiled out"☆67Apr 21, 2022Updated 3 years ago
- Points for Free: Embedding Pointful Array Programming in Python☆20Sep 19, 2024Updated last year
- Emitter for catapult trace viewer, i.e. chrome://tracing☆16Oct 8, 2018Updated 7 years ago
- Parallel Functional Programming, 2020☆16Jan 18, 2024Updated 2 years ago
- ☆15Mar 21, 2024Updated last year
- SETL4 brings the raw power and speed of SPITBOL to non-numeric computation using set-theoretic constructs.☆14Jun 13, 2019Updated 6 years ago
- Notes on OCaml debugging and performance☆16Jan 29, 2026Updated last month
- E-Graph library☆21Apr 4, 2024Updated last year
- Implementation of typechecker from paper "Special Delivery: Programming with Mailbox Types"☆20Jan 15, 2026Updated last month
- A compiler to IA32 and REPL for maru in maru under 7k s-expressions☆18Apr 17, 2020Updated 5 years ago
- Ouroboros is a PureScript compiler written in PureScript.☆20Sep 24, 2024Updated last year
- ☆19Jul 27, 2024Updated last year
- Extism OCaml Host SDK - easily run WebAssembly modules / plugins from OCaml applications☆18Dec 4, 2024Updated last year
- Synthesize Verilog to Minecraft redstone☆21Nov 9, 2024Updated last year
- Bucklescript's belt library packaged for native ocaml / dune / esy☆20Mar 25, 2019Updated 6 years ago
- OCaml AWS Client☆20Jul 10, 2023Updated 2 years ago
- Functional Monadic Library for Ocaml☆57Feb 22, 2026Updated last week
- APL Compiler targeting a typed array intermediate language☆217Feb 16, 2026Updated 2 weeks ago
- Pluggable serialization and deserialization of ocaml data strucures based on type_conv☆43Aug 28, 2025Updated 6 months ago
- A parsing library that compiles grammars to combinators using elimination of left recursion☆27Dec 22, 2025Updated 2 months ago
- Composable byte stream readers and writers for OCaml☆22Feb 13, 2026Updated 2 weeks ago