PlasmaLang / plasmaLinks
Plasma Programming Language
☆166Updated last month
Alternatives and similar repositories for plasma
Users that are interested in plasma are comparing it to the libraries listed below
Sorting:
- The Makam Metalanguage☆198Updated 2 years ago
- 1ML prototype interpreter☆282Updated 4 years ago
- Embeddable Lambda Prolog Interpreter☆312Updated this week
- SML reference interpreter☆116Updated 2 years ago
- ATS2: Unleashing the Potentials of Types and Templates☆363Updated 4 months ago
- An efficient implementation of the higher-order logic programming language Lambda Prolog☆155Updated last year
- Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations☆379Updated last year
- A functional programming language based on Standard ML, extended with support for concurrent, distributed, and constraint programming☆214Updated 2 years ago
- ATS2: Unleashing the Potentials of Types and Templates☆43Updated 5 years ago
- A declarative concatenative programming language☆164Updated 7 months ago
- An ML-like functional programming language☆334Updated 3 years ago
- Bootstrapping ATS3☆218Updated this week
- Compiler for the Mirth programming language.☆466Updated last week
- Dependent type checker using normalisation by evaluation☆260Updated 8 months ago
- The Twelf Programming Language☆133Updated 3 months ago
- PROTOTYPE: A minimal scripting language - OOP via lambda functions and pattern matching☆53Updated 7 years ago
- This repository contains coding examples of all sorts written in ATS and possibly other programming languages. These examples are primari…☆61Updated 4 years ago
- A general purpose statically-typed concatenative programming language.☆54Updated 2 years ago
- An interpreter for a J-inspired language☆91Updated last year
- A Compiler for the Popr Language☆248Updated 4 years ago
- A strict, impure, curried, partially applied programming language with rather peculiar syntax.☆281Updated 11 years ago
- A less devious proof assistant☆224Updated 2 years ago
- APL is the greatest language ever☆69Updated 5 months ago
- A statically-typed programming language based on "F-ing modules"☆81Updated 4 years ago
- Malfunctional Programming☆347Updated 6 months ago
- Standard ML Compiler and Toolkit☆286Updated 3 months ago
- The Egel Programming Language☆84Updated last week
- Parser combinators for Idris☆243Updated 6 years ago
- The LLVM LHC Haskell Optimization System☆200Updated 5 years ago
- The compiler for Keli☆173Updated 6 years ago