PlasmaLang / plasmaLinks
Plasma Programming Language
☆166Updated 2 months ago
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
- An ML-like functional programming language☆334Updated 3 years ago
- Malfunctional Programming☆348Updated 7 months ago
- Compiler for the Mirth programming language.☆469Updated last month
- A declarative concatenative programming language☆164Updated 8 months ago
- 1ML prototype interpreter☆282Updated 4 years ago
- ATS2: Unleashing the Potentials of Types and Templates☆43Updated 5 years ago
- A Compiler for the Popr Language☆248Updated 4 years ago
- Bootstrapping ATS3☆221Updated last week
- ATS2: Unleashing the Potentials of Types and Templates☆364Updated last week
- A website for the #proglangdesign community on freenode☆108Updated last month
- Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations☆378Updated last year
- A ML-family Language Compiled to Lua☆145Updated last month
- Dependent type checker using normalisation by evaluation☆262Updated 9 months ago
- Charity language interpreters and literature☆114Updated 6 years ago
- A statically-typed programming language based on "F-ing modules"☆81Updated 4 years ago
- SML reference interpreter☆116Updated 2 years ago
- A functional programming language based on Standard ML, extended with support for concurrent, distributed, and constraint programming☆218Updated 2 years ago
- The Egel Programming Language☆84Updated last month
- Haskell implementation of Dunfield and Krishnaswami's "Complete and easy bidirectional typechecking for higher-rank polymorphism"☆131Updated 4 years ago
- A version of the 1997 SML definition with corrections and some proposed Successor ML features added.☆200Updated 10 months ago
- A tiny language, a subset of Haskell aimed at aiding teachers teach Haskell☆214Updated 2 years ago
- An efficient implementation of the higher-order logic programming language Lambda Prolog☆155Updated last year
- PROTOTYPE: A minimal scripting language - OOP via lambda functions and pattern matching☆53Updated 7 years ago
- The Twelf Programming Language☆134Updated 4 months ago
- A general purpose statically-typed concatenative programming language.☆54Updated 2 years ago
- a functional programming language with algebraic effects and handlers☆82Updated 4 months ago
- Prototype type inference engine☆202Updated 4 months ago
- APL is the greatest language ever☆69Updated 6 months ago
- The Disco Discus Compiler☆174Updated 6 years ago