morganey-lang / MorganeyLinks
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
Sorting:
- Loprog is a stupid implementation of Prolog programming language.☆8Updated 8 years ago
- Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…☆63Updated 11 months ago
- APL is the greatest language ever☆69Updated 5 months ago
- A programming language where the syntax and semantics are mutable at runtime☆166Updated 13 years ago
- [Early Stages] Low level functional programming language with linear types, first class inline functions, levity polymorphism and regions…☆62Updated last year
- The Curly programming language (now in Rust!)☆29Updated 4 years ago
- dependently-typed lisp with flexible compiler backends☆27Updated 6 years ago
- A two-dimensional esoteric programming language, inspired by Hexagony and based on Surface☆11Updated 5 years ago
- Self-hosting compiler for the Grace programming language☆40Updated last year
- Freeputer ( ) [ ] { } forever free☆39Updated 7 years ago
- Sinister's Scheme Compiler!☆24Updated 2 years ago
- not latex☆17Updated 3 months ago
- A tiny lazy objective functional language☆17Updated 8 months ago
- ☆26Updated last year
- Lдтiи-Cyгillic lффк-дliкё cндгдcтёгs sцбsтiтцтiфи dдтдбдsё☆9Updated 5 years ago
- Markov model implementation on sequence of bytes.☆18Updated 2 years ago
- Neural Network in Haskell☆7Updated 5 years ago
- SPSC: A Small Positive Supercompiler☆35Updated last year
- The future of programming.☆69Updated 3 years ago
- SKI combinators☆55Updated 8 years ago
- Haskell to brainfuck compiler☆29Updated 11 years ago
- lambda calculus interpreter☆42Updated 4 years ago
- Minimalist RPN language that compiles to x86-64 assembly (with more backends to come).☆18Updated 2 years ago
- The Adamant Programming Language Reference☆16Updated 4 years ago
- This repository is supposed to hold a released version of Xanadu☆24Updated 3 years ago
- Consize is a concatenative programming language☆36Updated 3 months ago
- Parser Combinators of Monad☆37Updated 4 years ago
- GPU Accelerated, Distributed, Actor Model Language (WIP)☆30Updated last year
- Codebase for the paper "MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types"☆39Updated 5 months ago
- High-Level Virtual Machine for statically-typed functional languages.☆48Updated 13 years ago