liam923 / remora
A dependently-typed, array-polymorphic language that runs on parallel architectures
☆24Updated 8 months ago
Alternatives and similar repositories for remora
Users that are interested in remora are comparing it to the libraries listed below
Sorting:
- Runtime assertion checking based on Gospel specifications☆46Updated this week
- A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference☆45Updated 3 months ago
- Commodity thread pools and concurrency primitives for OCaml 5☆59Updated 2 weeks ago
- Playing with type systems☆50Updated 4 months ago
- 🩺 A library for compiler diagnostics☆45Updated 3 months ago
- A small library to output memory graph for ocaml values☆37Updated 10 months ago
- Dromedary is an experimental subset of OCaml, using constraint-based type inference!☆48Updated 6 months ago
- The OCaml-Canvas library provides a portable Canvas for OCaml☆59Updated 10 months ago
- SPSC: A Small Positive Supercompiler☆35Updated 11 months ago
- A ML-like pure functional language that can be used as a template for creating your own language☆28Updated 4 months ago
- A parsing library that compiles grammars to combinators using elimination of left recursion☆22Updated last year
- Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" writ…☆22Updated 3 years ago
- 🦠 Reusable components based on algebraic effects☆50Updated 7 months ago
- A statically-typed programming language based on "F-ing modules"☆81Updated 4 years ago
- Dependency graphs for OCaml modules, libraries and packages☆39Updated 10 months ago
- A collection of programming languages and type systems.☆33Updated this week
- A Rust to OCaml source to source translator☆21Updated last year
- multi-shot continuations in OCaml☆48Updated 3 months ago
- Purely functional GUI algebra☆75Updated last month
- A safer FFI interface for OCaml☆11Updated 9 months ago
- How do you do that recursive GADT thing again?☆27Updated last year
- A Deductive Verification Tool for OCaml Programs☆72Updated last week
- PBT testsuite and libraries for testing multicore OCaml☆40Updated this week
- 🧊 An indexed construction of semi-simplicial and semi-cubical sets☆28Updated last week
- A Framework for building Batched Concurrent Services☆21Updated 7 months ago
- A simple parser combinator library for Ocaml☆30Updated 3 years ago
- Ropes ("heavyweight strings") for OCaml☆49Updated 9 months ago
- Tools for record-and-replay debugging☆43Updated 2 years ago
- A minimal implementation of Hindley-Milner's Algorithm J in OCaml☆63Updated 3 years ago
- [research] A modular SMT solver in OCaml, based on mcSAT☆39Updated last year