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
- Lдтiи-Cyгillic lффк-дliкё cндгдcтёгs sцбsтiтцтiфи dдтдбдsё☆8Updated 5 years ago
- APL is the greatest language ever☆68Updated 2 months ago
- Neural Network in Haskell☆7Updated 5 years ago
- Markov model implementation on sequence of bytes.☆18Updated 2 years ago
- Small OpenGL Shaders example using FreePascal Compiler☆11Updated 3 years ago
- Sinister's Scheme Compiler!☆24Updated 2 years ago
- Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…☆63Updated 8 months ago
- [Early Stages] Low level functional programming language with linear types, first class inline functions, levity polymorphism and regions…☆63Updated last year
- dependently-typed lisp with flexible compiler backends☆28Updated 5 years ago
- Miranda is a pure, non-strict, polymorphic, higher order functional programming language designed by David Turner in 1983-6. https://code…☆57Updated 9 months ago
- lambda calculus interpreter☆39Updated 3 years ago
- For hosting certain parts of http://www.ats-lang.org☆27Updated 2 years ago
- SKI combinators☆53Updated 7 years ago
- A programming language where the syntax and semantics are mutable at runtime☆164Updated 12 years ago
- This repository contains coding examples of all sorts written in ATS and possibly other programming languages. These examples are primari…☆59Updated 4 years ago
- Hope programming language interpreter☆40Updated 4 years ago
- SPSC: A Small Positive Supercompiler☆34Updated 9 months ago
- The functional Haskell kernel☆132Updated 9 years ago
- print_f64 implementation purely in assembly without using any 3rd party dependencies including libc, libm, etc.☆11Updated 4 years ago
- Procedural vs Functional☆78Updated 5 years ago
- Self-hosting compiler for the Grace programming language☆39Updated 8 months ago
- Small library for braillizing images☆18Updated 5 years ago
- not latex☆17Updated 4 months ago
- GPU Accelerated, Distributed, Actor Model Language (WIP)☆29Updated last year
- ⚗️ Self-hosting compiler from a Haskell-like Lisp directly to x86-64, from scratch.☆156Updated 2 years ago
- IDE support for the functional logic programming language Curry☆30Updated this week
- Total Surveillance Automatic Ban Machine for Twitch and Discord☆149Updated 4 years ago
- A self-hosting mini Haskell compiler with a mini C runtime.☆74Updated 5 years ago
- Codebase for the paper "MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types"☆36Updated 2 months ago