liam923 / remoraLinks
A dependently-typed, array-polymorphic language that runs on parallel architectures
☆24Updated 9 months ago
Alternatives and similar repositories for remora
Users that are interested in remora are comparing it to the libraries listed below
Sorting:
- OxCaml Parallelism☆30Updated 2 weeks ago
- Compile OCaml to standalone ANSI C file☆44Updated last month
- A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference☆53Updated 4 months ago
- A pure type system implemented in OCaml☆78Updated 4 years ago
- A statically-typed programming language based on "F-ing modules"☆81Updated 4 years ago
- 🐫🎮 OCaml Game Engine☆43Updated 3 months ago
- Grab-bag library for the MPL compiler (https://github.com/mpllang/mpl)☆20Updated 4 months ago
- a self-hosting lambda calculus compiler☆35Updated 2 months ago
- The Caml Light implementation of the Caml language☆68Updated 2 years ago
- A toy dependent typed language.☆29Updated last week
- Playing with type systems☆51Updated 5 months ago
- Brainfuck formalized in Coq☆26Updated 3 years ago
- Runtime assertion checking based on Gospel specifications☆46Updated last week
- Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" writ…☆22Updated 4 years ago
- Fωμ type checker and compiler☆54Updated 2 years ago
- Kempe is a compiled stack-based language☆58Updated 8 months ago
- 🧊 An indexed construction of semi-simplicial and semi-cubical sets☆29Updated this week
- Delimited continuations in byte-code and native OCaml☆27Updated 4 years ago
- A parsing library that compiles grammars to combinators using elimination of left recursion☆22Updated last year
- αProlog☆18Updated last year
- A simple functional programming language.☆21Updated 4 years ago
- A SKI combinators interpreter written in assembly☆20Updated 4 years ago
- A deterministic parser with fused lexing☆73Updated last year
- An interpreter of F-ing modules☆19Updated 6 years ago
- A simple λProlog interpreter☆20Updated 3 years ago
- Choice operator in OCaml, providing a backtracking monad☆26Updated 3 years ago
- Experimental functional language☆17Updated 3 years ago
- Single file Lambda Calculus implementations demonstrating various type system features and interpretation techniques☆44Updated 4 months ago
- A ML-like pure functional language that can be used as a template for creating your own language☆28Updated 5 months ago
- Work in progress on semi-simplicial types☆23Updated 2 years ago