smallcluster / LcalcLinks
A lambda calculus interpreter in python.
☆12Updated 2 years ago
Alternatives and similar repositories for Lcalc
Users that are interested in Lcalc are comparing it to the libraries listed below
Sorting:
- A Python interpreter for APL based off of the LSBASI series.☆16Updated 4 years ago
- An implementation of the Lox programming language☆10Updated 4 years ago
- ☆26Updated 2 years ago
- High-level interface for low-level programming☆120Updated 3 months ago
- A tiny lazy objective functional language☆18Updated last year
- Admiran is a pure, lazy, functional language and self-hosting compiler based upon Miranda☆81Updated this week
- Pocket sized programs☆63Updated 2 months ago
- An implementation of the Lox language in Racket.☆35Updated 2 years ago
- openemacs: A tiny emacs clone (≤ 1024 LOC, BSD-licensed) without any library dependencies☆40Updated last year
- Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…☆63Updated last year
- BQN virtual machine☆31Updated last year
- ☆32Updated last year
- An embeddable Scheme R7 Compiler & Runtime written in Rust☆105Updated 6 months ago
- A List of companies that use Array Languages (J, K, APL, q)☆100Updated last year
- A Python script for wrapping Jellyfish (a fork of Jelly) so you can more easily play with the language.☆60Updated 10 months ago
- Hindley-Milner Type Inference implemented in (although not for) Python.☆96Updated 3 years ago
- Dyalog APL ←→ Python interface☆81Updated last month
- Reference implementation for Writing a C Compiler☆214Updated 9 months ago
- CMSC 430 Design and Implementation of Programming Languages☆52Updated 2 weeks ago
- ☆32Updated 3 years ago
- APL Orchard Cultivations: https://xpqz.github.io/cultivations/☆18Updated 3 years ago
- A Compiler and Type Inference System for a subset of Standard ML called Small.☆13Updated 8 years ago
- Simple conservative GC using mimalloc☆41Updated 3 years ago
- A logic programming language that has features of both Datalog and answer set programming.☆119Updated this week
- Claro Lang☆145Updated last year
- An interpreter for a J-inspired language☆92Updated 2 years ago
- Io, the language, in Go, the language☆83Updated 2 years ago
- interpreter and compiler to be compatible with ARITY/PROLOG(MS-DOS)☆131Updated this week
- A general purpose statically-typed concatenative programming language.☆55Updated 2 years ago
- Tutorial-style FORTH implementation written in golang☆94Updated last year