morganey-lang / MorganeyLinks
Lambda Calculus based, interpreted programming language that recognizes Church encoded structures.
☆44Updated 8 years ago
Alternatives and similar repositories for Morganey
Users that are interested in Morganey are comparing it to the libraries listed below
Sorting:
- APL is the greatest language ever☆68Updated 10 months ago
- not latex☆19Updated 4 months ago
- lambda calculus interpreter☆44Updated 4 years ago
- Procedural vs Functional☆79Updated 6 years ago
- print_f64 implementation purely in assembly without using any 3rd party dependencies including libc, libm, etc.☆12Updated 4 years ago
- Source Code from "Making Music with Haskell" video☆141Updated 5 years ago
- Plasma Programming Language☆166Updated 6 months ago
- Quick C-- compiler (no longer maintained)☆162Updated 11 years ago
- This repository contains coding examples of all sorts written in ATS and possibly other programming languages. These examples are primari…☆62Updated 4 years ago
- A programming language where the syntax and semantics are mutable at runtime☆169Updated 13 years ago
- A Java JIT compiler written in Haskell☆73Updated 12 years ago
- The functional Haskell kernel☆140Updated 9 years ago
- Total Surveillance Automatic Ban Machine for Twitch and Discord☆145Updated 5 years ago
- SKI combinators☆55Updated 8 years ago
- Web framework for x86_64 nasm☆168Updated 2 years ago
- CLI tool for manipulating source code TODOs☆36Updated 7 years ago
- A self-hosting mini Haskell compiler with a mini C runtime.☆76Updated 5 years ago
- ATS2: Unleashing the Potentials of Types and Templates☆45Updated 5 years ago
- Small OpenGL Shaders example using FreePascal Compiler☆14Updated 4 years ago
- SPSC: A Small Positive Supercompiler☆38Updated last year
- The Twelf Programming Language☆145Updated last week
- Self-hosting compiler for the Grace programming language☆41Updated last year
- For parts of https://www.ats-lang.org☆26Updated 4 months ago
- Haskell bindings to OpenGL☆151Updated last year
- Jhc: Haskell Compiler☆39Updated 10 years ago
- Sinister's Scheme Compiler!☆24Updated 3 years ago
- Компилятор Рефала-5λ☆90Updated 5 months ago
- Markov model implementation on sequence of bytes.☆18Updated 2 years ago
- Book: Introduction to Dependent Types with Idris☆78Updated 2 years ago
- The future of programming.☆69Updated 4 years ago