ciphergoth / pylambdacLinks
A lambda calculus interpreter in Python
☆18Updated 4 years ago
Alternatives and similar repositories for pylambdac
Users that are interested in pylambdac are comparing it to the libraries listed below
Sorting:
- Algorithmic Information Theory, using Binary Lambda Calculus☆161Updated last week
- The future of programming.☆69Updated 4 years ago
- Animations of lambda term reduction sequences☆139Updated 7 years ago
- A terse declarative logic programming language☆118Updated 4 years ago
- An esoteric language based on overlapping tree-like structures☆10Updated 3 years ago
- APL is the greatest language ever☆69Updated 7 months ago
- A novel approach to finding your way in APL☆142Updated last month
- A system to amalgamate any features you want into any language you need☆26Updated 2 years ago
- An APL interpreter written in JavaScript. Runs in a browser or NodeJS.☆57Updated last year
- Fractran interpreter in Fractran☆34Updated 10 years ago
- A feature-rich, two-dimensional, recreational programming language. With mirrors.☆46Updated 4 years ago
- Dyalog APL ←→ Python interface☆79Updated 5 months ago
- A Python interpreter for APL based off of the LSBASI series.☆16Updated 4 years ago
- Miscellaneous esoteric programming languages.☆39Updated 5 months ago
- Proof of concept for using silly encodings for source files☆21Updated 11 years ago
- setlX is an interpreter for the high level programming-language SetlX (set language extended).☆27Updated 3 years ago
- An interpreter for a J-inspired language☆92Updated 2 years ago
- The NIAL language environment☆112Updated 2 years ago
- mmj2 GUI Proof Assistant for the Metamath project☆75Updated 10 months ago
- Cross-platform IDE for Dyalog APL☆217Updated this week
- Simple array language written in kotlin☆47Updated 2 years ago
- A Toki Pona Parser☆42Updated 5 years ago
- Design a turing-complete marble run with ascii/unicode art☆54Updated 7 years ago
- The Phix Programming Language☆60Updated 4 months ago
- metamath proof enumerators and other things☆94Updated 11 months ago
- Dyalog APL Extended☆28Updated last year
- Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…☆64Updated last year
- A programming language where the syntax and semantics are mutable at runtime☆167Updated 13 years ago
- BQN virtual machine☆31Updated last year
- The Esoteric File Archive☆100Updated last year