PlasmaLang / plasmaLinks
Plasma Programming Language
☆166Updated 4 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☆199Updated 2 years ago
- A declarative concatenative programming language☆166Updated 10 months ago
- A functional programming language based on Standard ML, extended with support for concurrent, distributed, and constraint programming☆219Updated 2 years ago
- An ML-like functional programming language☆338Updated 3 years ago
- ATS2: Unleashing the Potentials of Types and Templates☆371Updated 3 months ago
- ATS2: Unleashing the Potentials of Types and Templates☆45Updated 5 years ago
- SML reference interpreter☆116Updated last month
- An efficient implementation of the higher-order logic programming language Lambda Prolog☆157Updated last year
- 1ML prototype interpreter☆286Updated 5 years ago
- a functional programming language with algebraic effects and handlers☆82Updated 7 months ago
- Self-hosting compiler for the Grace programming language☆41Updated last year
- Bootstrapping ATS3☆227Updated last week
- Charity language interpreters and literature☆114Updated 6 years ago
- The Twelf Programming Language☆143Updated this week
- Malfunctional Programming☆350Updated 10 months ago
- APL is the greatest language ever☆68Updated 8 months ago
- The Egel Programming Language☆84Updated 3 months ago
- A ML-family Language Compiled to Lua☆147Updated this week
- The LLVM LHC Haskell Optimization System☆202Updated 5 years ago
- A statically-typed programming language based on "F-ing modules"☆81Updated 5 years ago
- A website for the #proglangdesign community on freenode☆112Updated 3 weeks ago
- A Compiler for the Popr Language☆249Updated 4 years ago
- theseus, functional programming language with fully reversible computation☆123Updated 6 years ago
- This repository contains coding examples of all sorts written in ATS and possibly other programming languages. These examples are primari…☆62Updated 4 years ago
- Standard ML Compiler and Toolkit☆291Updated 3 weeks ago
- TiML: A Functional Programming Language with Time Complexity☆80Updated 8 years ago
- The Kuljet language☆25Updated 7 months ago
- Smackage Package Manager for Standard ML☆123Updated 3 years ago
- Haskell implementation of Dunfield and Krishnaswami's "Complete and easy bidirectional typechecking for higher-rank polymorphism"☆132Updated 5 years ago
- Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations☆383Updated last year