m-language / mLinks
A minimal language inspired by Lisp and Haskell
☆20Updated 5 years ago
Alternatives and similar repositories for m
Users that are interested in m are comparing it to the libraries listed below
Sorting:
- dependently-typed lisp with flexible compiler backends☆27Updated 6 years ago
- Your happy place for learning APL☆15Updated 3 years ago
- A general-purpose language inspired by Scheme and Rust and Haskell and ML and cetera☆21Updated 3 years ago
- A programming language somewhat resembling cellular processes.☆34Updated 3 years ago
- ☆35Updated 6 years ago
- A minimal ML, type-inferred, compiled, and/or interpreted in less than 750 lines☆39Updated 5 years ago
- A concatenative programming language founded on the unholy trinity of Forth, Lisp and RDF triples.☆70Updated 15 years ago
- Implementation of the Aardappel programming language☆31Updated 8 years ago
- A simple prolog implementation in Rust☆26Updated 5 years ago
- Scheme Interpreter in Rust☆29Updated 7 years ago
- Manfred von Thun's Programming Language Joy☆16Updated 11 months ago
- A toy programming language.☆41Updated last year
- Macros have types!☆134Updated 2 years ago
- The Carth programming language. Mirror of https://sr.ht/~jojo/Carth/☆22Updated 2 years ago
- JIT compiler for Scheme targeting x86-64 platforms☆31Updated 6 years ago
- A Vim plugin for Carp☆17Updated 4 years ago
- NodeC -- A lean NodeJS in C using algebraic effect handlers.☆37Updated 6 years ago
- ATS2: Unleashing the Potentials of Types and Templates☆46Updated 6 years ago
- A statically-typed compiled language defined by a simple grammar☆24Updated 3 years ago
- An implementation of interaction nets as a forth-like language.☆44Updated last month
- A core concatenative programming language with variables and first-rank polymorphic type inference☆31Updated 5 years ago
- Haskell bindings to binaryen.☆14Updated 4 years ago
- Function EXpression Language (interpreter for functional programs)☆84Updated 3 months ago
- Unlambda interpreter☆11Updated last year
- Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…☆64Updated last week
- A self-hosting mini Haskell compiler with a mini C runtime.☆78Updated 6 years ago
- language verification, construction, and analysis☆20Updated 3 years ago
- Oversimplified version of Simple-sub: without recursive types, without nested let polymorphism, and with approximated type-variable-to-ty…☆27Updated 3 years ago
- ☆16Updated 3 years ago
- An experimental language with compile time bounds checking☆14Updated 6 years ago