Dependently-typed language with Iverson-style implicit lifting
☆128Mar 24, 2020Updated 6 years ago
Alternatives and similar repositories for Remora
Users that are interested in Remora are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆40May 1, 2016Updated 10 years ago
- ☆20Sep 3, 2018Updated 8 years ago
- APL Compiler targeting a typed array intermediate language☆220Feb 16, 2026Updated 8 months ago
- Implementation of the distillation algorithm as described in the paper "Distillation: Extracting the Essence of Programs".☆30Apr 11, 2022Updated 4 years ago
- racket benchmarking library☆13May 25, 2019Updated 7 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Generic collections API for Racket☆52Mar 29, 2022Updated 4 years ago
- A Racket Meta-Program Generator☆17Mar 26, 2020Updated 6 years ago
- silly-k is an experimental language inspired by K and APL☆15Oct 27, 2024Updated 2 years ago
- Mocking library for Racket☆22Oct 23, 2020Updated 6 years ago
- Cur dependently-typed language in miniKanren.☆17Jan 26, 2018Updated 8 years ago
- Racket parser combinators inspired by parsack and megaparsec☆83Apr 13, 2026Updated 6 months ago
- LLMs in Futhark☆13Sep 1, 2025Updated last year
- Notes, examples, and general work on automatic differentiation and probabilistic programming☆12Dec 20, 2023Updated 2 years ago
- Dr. Bayes☆83Jun 27, 2016Updated 10 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Session Type EDSL for Rust☆108Jun 29, 2022Updated 4 years ago
- Research on integrating datalog & lambda calculus via monotonicity types☆419Jun 21, 2022Updated 4 years ago
- High-performance, Reliable, and Parallel APL☆801Updated this week
- ☆19Aug 11, 2026Updated 2 months ago
- A Redex Model of Rust, or more specifically an encoding of Patina, the formal model for rust's type safety☆24Sep 22, 2014Updated 12 years ago
- Simple Neural Network Examples in 8 lines APL☆32Jun 12, 2023Updated 3 years ago
- Well-typed JSON parser generator inspired by Type Provider☆16Feb 26, 2021Updated 5 years ago
- A Racket library for interacting with Idris over the IDE protocol☆30Nov 10, 2017Updated 8 years ago
- Easy scripting for DrRacket☆19Aug 11, 2026Updated 2 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆12Oct 2, 2017Updated 9 years ago
- WebAssembly model in Redex☆16May 16, 2019Updated 7 years ago
- Based on paper by Greg Morrisett , TAL-0 is the design of a RISC-style typed assembly language which focuses on control-flow safety.☆23Dec 14, 2016Updated 9 years ago
- ☆20Aug 11, 2026Updated 2 months ago
- ☆113Updated this week
- Draw lightsabers using Racket's pict library☆11Jul 31, 2019Updated 7 years ago
- A compiler for the gradually typed lambda calculus☆78Nov 4, 2021Updated 4 years ago
- Prototype code that accompanies the paper "Compiling Successor ML Pattern Guards"☆26Jul 26, 2022Updated 4 years ago
- The source for "Compiling with Dependent Types" (my dissertation)☆30May 10, 2022Updated 4 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- an encoding of affine effect handlers using pthreads☆14Nov 15, 2022Updated 3 years ago
- An experimental typed version of the Rosette language☆13Aug 6, 2018Updated 8 years ago
- A dependently-typed, array-polymorphic language that runs on parallel architectures☆27Sep 11, 2024Updated 2 years ago
- BQN↔NumPy bridge☆21Sep 26, 2025Updated last year
- Scripts for Racket developers☆25Mar 2, 2021Updated 5 years ago
- Mirror of Epigram 2, by Conor McBride, et al.☆59Jun 10, 2020Updated 6 years ago
- Magnolisp, a toy programming language☆19Dec 9, 2023Updated 2 years ago