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
- A declarative concatenative programming language☆164Updated 8 months ago
- An ML-like functional programming language☆336Updated 3 years ago
- The Twelf Programming Language☆137Updated 5 months ago
- 1ML prototype interpreter☆283Updated 5 years ago
- A Compiler for the Popr Language☆249Updated 4 years ago
- A ML-family Language Compiled to Lua☆145Updated last month
- ATS2: Unleashing the Potentials of Types and Templates☆43Updated 5 years ago
- Bootstrapping ATS3☆222Updated this week
- ATS2: Unleashing the Potentials of Types and Templates☆367Updated last month
- The Egel Programming Language☆84Updated last month
- A website for the #proglangdesign community on freenode☆108Updated 2 months ago
- A functional programming language based on Standard ML, extended with support for concurrent, distributed, and constraint programming☆219Updated 2 years ago
- [Early Stages] Low level functional programming language with linear types, first class inline functions, levity polymorphism and regions…☆62Updated last year
- An efficient implementation of the higher-order logic programming language Lambda Prolog☆155Updated last year
- Self-hosting compiler for the Grace programming language☆40Updated last year
- SML reference interpreter☆116Updated 2 years ago
- Compiler for the Mirth programming language.☆472Updated last month
- APL is the greatest language ever☆69Updated 6 months ago
- Cat - a statically typed functional stack-based programming language☆263Updated 7 years ago
- a functional programming language with algebraic effects and handlers☆82Updated 4 months ago
- The LLVM LHC Haskell Optimization System☆201Updated 5 years ago
- An interpreter for a J-inspired language☆92Updated 2 years ago
- A programming language where the syntax and semantics are mutable at runtime☆167Updated 13 years ago
- The compiler for Keli☆174Updated 6 years 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
- Dependent type checker using normalisation by evaluation☆262Updated 10 months ago
- Pure programming language☆324Updated 2 years ago