morganey-lang / Morganey
Lambda Calculus based, interpreted programming language that recognizes Church encoded structures.
☆44Updated 7 years ago
Alternatives and similar repositories for Morganey:
Users that are interested in Morganey are comparing it to the libraries listed below
- Loprog is a stupid implementation of Prolog programming language.☆7Updated 8 years ago
- Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…☆63Updated 9 months ago
- lambda calculus interpreter☆40Updated 3 years ago
- Lдтiи-Cyгillic lффк-дliкё cндгдcтёгs sцбsтiтцтiфи dдтдбдsё☆8Updated 5 years ago
- GPU Accelerated, Distributed, Actor Model Language (WIP)☆29Updated last year
- [Early Stages] Low level functional programming language with linear types, first class inline functions, levity polymorphism and regions…☆62Updated last year
- SPSC: A Small Positive Supercompiler☆34Updated 9 months ago
- SKI combinators☆54Updated 7 years ago
- APL is the greatest language ever☆68Updated 2 months ago
- The Curly programming language (now in Rust!)☆29Updated 3 years ago
- Minimalist RPN language that compiles to x86-64 assembly (with more backends to come).☆18Updated 2 years ago
- For hosting certain parts of http://www.ats-lang.org☆27Updated 2 years ago
- A musical puzzle game☆18Updated 8 years ago
- dependently-typed lisp with flexible compiler backends☆28Updated 5 years ago
- A toy programming language.☆39Updated last year
- ☆27Updated last year
- This repository is supposed to hold a released version of Xanadu☆24Updated 3 years ago
- The Egel Programming Language☆84Updated 2 months ago
- Following [An Incremental Approach to Compiler Construction](http://scheme2006.cs.uchicago.edu/11-ghuloum.pdf)☆61Updated 3 years ago
- A SuperCompiler for Martin-Löf's Type Theory☆120Updated 3 years ago
- The Twelf Programming Language☆119Updated last month
- Sinister's Scheme Compiler!☆24Updated 2 years ago
- Freeputer ( ) [ ] { } forever free☆39Updated 6 years ago
- A programming language where the syntax and semantics are mutable at runtime☆164Updated 12 years ago
- My Own Linear Lisp☆40Updated 6 years ago
- A newborn programming language for extensible software☆16Updated 3 years ago
- bindings for the raylib + raygui library in Factor☆10Updated 4 years ago
- Jacy programming language☆13Updated 2 years ago
- Plasma Programming Language☆165Updated last month
- The Riff programming language☆23Updated last year