smallcluster / Lcalc
A lambda calculus interpreter in python.
☆10Updated last year
Alternatives and similar repositories for Lcalc:
Users that are interested in Lcalc are comparing it to the libraries listed below
- Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…☆63Updated 10 months ago
- A Python interpreter for APL based off of the LSBASI series.☆16Updated 4 years ago
- A Compiler and Type Inference System for a subset of Standard ML called Small.☆13Updated 7 years ago
- ☆16Updated 3 years ago
- Working through the Book Lisp In Small Pieces☆12Updated 2 years ago
- An implementation of interaction nets as a forth-like language.☆33Updated this week
- An interpreter for a J-inspired language☆90Updated last year
- Haystack is a compiled, statically typed, stack-based language with opt-in variable assignment.☆25Updated last year
- Miranda is a pure, non-strict, polymorphic, higher order functional programming language designed by David Turner in 1983-6. https://code…☆57Updated 11 months ago
- A call-by-need statically-duck-typed language named for French mathematician Sophie Germain☆31Updated 3 months ago
- A tiny lazy objective functional language☆16Updated 7 months ago
- A meta-circular interpreter of a subset of Scheme☆15Updated 5 years ago
- ☆27Updated last year
- A system to amalgamate any features you want into any language you need☆26Updated 2 years ago
- CMSC 430 Design and Implementation of Programming Languages☆50Updated 4 months ago
- Admiran compiler, library, and examples☆62Updated last week
- A simple and educational compiler for the SASL programming language☆23Updated 7 years ago
- siko☆14Updated last year
- Demo of a WAM Prolog implementation in Python☆77Updated 2 years ago
- concatenative array language inspired by kdb/+q☆92Updated 3 years ago
- purple: compiling a reflective language☆32Updated 6 months ago
- CHR2 to SQL conversion☆13Updated 9 years ago
- A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.☆29Updated 7 years ago
- WIP stack language that uses regex for control flow☆42Updated last year
- Semantic analysis framework☆14Updated 2 years ago
- Edina - A simple stack-oriented compiled programming language.☆13Updated last year
- minimalistic symbolic term rewriting framework☆15Updated this week
- SPSC: A Small Positive Supercompiler☆35Updated 11 months ago
- An introduction to the J programming language that gets to the point.☆42Updated 4 months ago
- A high-level programming language☆39Updated 3 months ago