Admiran is a pure, lazy, functional language and self-hosting compiler based upon Miranda
☆120Oct 26, 2026Updated last week
Alternatives and similar repositories for Admiran
Users that are interested in Admiran are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆24Mar 24, 2026Updated 7 months ago
- Experiments on implementing Dependent Pattern Matching under Normalization by Evaluation setup.☆15Oct 3, 2026Updated 3 weeks ago
- Fir programming language☆100May 11, 2026Updated 5 months ago
- Haskell implemented with combinators☆803Updated this week
- ☆24Aug 14, 2026Updated 2 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Synthetic Tait computability in intensional type theory☆18Jul 13, 2026Updated 3 months ago
- ⚗️ Self-hosting compiler from a Haskell-like Lisp directly to x86-64, from scratch.☆163Aug 20, 2026Updated 2 months ago
- A toy dependent typed language.☆51Oct 23, 2026Updated last week
- Miranda is a pure, non-strict, polymorphic, higher order functional programming language designed by David Turner in 1983-6. https://code…☆73May 25, 2025Updated last year
- A playground for programming language ideas.☆24Updated this week
- Haskell port of the Nanopass Compiler Framework☆23Dec 23, 2025Updated 10 months ago
- A formatter for Haskell source code☆45Updated this week
- The 1SubML programming language - unified module and value language, structural subtyping, global type inference, higher rank polymorphic…☆61Updated this week
- Work in progress on semi-simplicial types☆25Dec 15, 2022Updated 3 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- A minimal implementation of Hindley-Milner's Algorithm J in OCaml☆82Jan 20, 2022Updated 4 years ago
- OCaml compiler for Konrad Zuse's Plankalkül (1945): the world's first high-level programming language☆18Mar 2, 2026Updated 8 months ago
- A dependent type theory with user defined data types☆48Oct 1, 2021Updated 5 years ago
- a self-hosting lambda calculus compiler☆36Mar 31, 2025Updated last year
- A garden of small programming language implementations 🪴☆349Updated this week
- The Functional Virtual Machine.☆14Dec 18, 2024Updated last year
- Compiler for my language 'Speedie'. Beta-state. Has a great future ahead for it.☆32Oct 26, 2026Updated last week
- The Hazy Haskell Compiler☆66Updated this week
- Systems language with linear types and capability-based security.☆1,602Jul 28, 2025Updated last year
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Source code for the Pipefish programming language☆203Updated this week
- algebraic typechecking and elaboration of type systems☆13Jan 25, 2025Updated last year
- Artifact for paper "When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism" (https://popl24.si…☆15May 22, 2024Updated 2 years ago
- 🩺 A library for compiler diagnostics☆56Oct 19, 2026Updated 2 weeks ago
- A type theory for tiny objects☆20Mar 6, 2026Updated 7 months ago
- Staged compilation with dependent types☆189Oct 26, 2026Updated last week
- ☆15Dec 20, 2021Updated 4 years ago
- macOS bindings to the FSEvents API☆18Aug 13, 2026Updated 2 months ago
- A MinCaml compiler implemented in Rust☆45Mar 3, 2026Updated 7 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A functional programming language☆15Jul 23, 2025Updated last year
- The adventures of a Haskell compiler☆244Mar 18, 2026Updated 7 months ago
- ☆29Oct 13, 2026Updated 2 weeks ago
- Experiments with preordered set models of (directed) type theories☆16Jul 10, 2019Updated 7 years ago
- Par (⅋) is an experimental concurrent programming language. It's an attempt to bring the expressive power of linear logic into practice.☆819Oct 19, 2026Updated 2 weeks ago
- A functional language with algebraic effects, multishot continuations, and native codegen☆171Oct 17, 2026Updated 2 weeks ago
- An implementation of the multi-paradigm declarative language Curry which compiles Curry programs into Haskell programs☆24Oct 8, 2026Updated 3 weeks ago