PlasmaLang / plasma
Plasma Programming Language
☆162Updated 2 months ago
Related projects ⓘ
Alternatives and complementary repositories for plasma
- The Makam Metalanguage☆194Updated last year
- A Compiler for the Popr Language☆243Updated 3 years ago
- Malfunctional Programming☆340Updated last week
- An efficient implementation of the higher-order logic programming language Lambda Prolog☆151Updated 7 months ago
- Bootstrapping ATS3☆197Updated last week
- Embeddable Lambda Prolog Interpreter☆290Updated this week
- 1ML prototype interpreter☆270Updated 4 years ago
- Dependent type checker using normalisation by evaluation☆254Updated 2 months ago
- The Egel Programming Language☆80Updated last month
- A tiny language, a subset of Haskell aimed at aiding teachers teach Haskell☆212Updated last year
- Frank compiler☆279Updated 6 months ago
- A functional programming language based on Standard ML, extended with support for concurrent, distributed, and constraint programming☆212Updated last year
- A declarative concatenative programming language☆159Updated 3 weeks ago
- ATS2: Unleashing the Potentials of Types and Templates☆353Updated 3 weeks ago
- Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations☆368Updated last year
- SML reference interpreter☆112Updated last year
- The LLVM LHC Haskell Optimization System☆198Updated 4 years ago
- An ML-like functional programming language☆328Updated 3 years ago
- Prototype type inference engine☆197Updated 3 months ago
- Charity language interpreters and literature☆114Updated 5 years ago
- A minimal proof language.☆204Updated 5 years ago
- APL is the greatest language ever☆65Updated last year
- A version of the 1997 SML definition with corrections and some proposed Successor ML features added.☆193Updated 3 months ago
- A statically-typed programming language based on "F-ing modules"☆80Updated 4 years ago
- Compiler for the Mirth programming language.☆447Updated 3 months ago
- The Twelf Programming Language☆109Updated this week
- ☆135Updated 2 years ago
- Haskell implementation of Dunfield and Krishnaswami's "Complete and easy bidirectional typechecking for higher-rank polymorphism"☆129Updated 4 years ago
- The People's Refinement Logic☆227Updated last year
- Contextual types meet mechanized metatheory!☆184Updated 3 months ago