PlasmaLang / plasma
Plasma Programming Language
☆162Updated 2 months ago
Related projects ⓘ
Alternatives and complementary repositories for plasma
- The Makam Metalanguage☆194Updated last year
- 1ML prototype interpreter☆270Updated 4 years ago
- Embeddable Lambda Prolog Interpreter☆290Updated this week
- SML reference interpreter☆112Updated last year
- A statically-typed programming language based on "F-ing modules"☆80Updated 4 years ago
- Bootstrapping ATS3☆198Updated 2 weeks ago
- ATS2: Unleashing the Potentials of Types and Templates☆353Updated 2 weeks ago
- A declarative concatenative programming language☆159Updated 2 weeks ago
- an implementation of stuck macros☆131Updated last week
- Frank compiler☆278Updated 6 months ago
- An ML-like functional programming language☆328Updated 3 years ago
- Malfunctional Programming☆338Updated last month
- Dependent type checker using normalisation by evaluation☆254Updated 2 months ago
- A version of the 1997 SML definition with corrections and some proposed Successor ML features added.☆193Updated 2 months ago
- Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations☆365Updated last year
- An efficient implementation of the higher-order logic programming language Lambda Prolog☆151Updated 6 months ago
- Contextual types meet mechanized metatheory!☆184Updated 3 months ago
- Compiler for the Mirth programming language.☆447Updated 3 months ago
- Standard ML of New Jersey☆184Updated 2 weeks ago
- A Compiler for the Popr Language☆242Updated 3 years ago
- A less devious proof assistant☆222Updated last year
- Prototype type inference engine☆196Updated 3 months ago
- Charity language interpreters and literature☆114Updated 5 years ago
- PROTOTYPE: A minimal scripting language - OOP via lambda functions and pattern matching☆53Updated 7 years ago
- The Twelf Programming Language☆108Updated 3 weeks ago
- A categorical programming language with effects☆267Updated last year
- The LLVM LHC Haskell Optimization System☆198Updated 4 years ago
- A general purpose statically-typed concatenative programming language.☆51Updated last year
- Pure programming language☆315Updated 2 years ago
- a functional programming language with algebraic effects and handlers☆81Updated 2 years ago