ciphergoth / pylambdacLinks
A lambda calculus interpreter in Python
☆16Updated 4 years ago
Alternatives and similar repositories for pylambdac
Users that are interested in pylambdac are comparing it to the libraries listed below
Sorting:
- LODA is an assembly language, a computational model and a tool for mining integer sequence programs.☆21Updated 3 years ago
- An APL interpreter written in JavaScript. Runs in a browser or NodeJS.☆56Updated last year
- ☆44Updated 7 months ago
- PRolog Equation Solving System☆30Updated 8 years ago
- A Python interpreter for APL based off of the LSBASI series.☆16Updated 4 years ago
- Fractran interpreter in Fractran☆34Updated 10 years ago
- An Impractical Stack Language☆14Updated 4 years ago
- mmj2 GUI Proof Assistant for the Metamath project☆75Updated 8 months ago
- MIRROR of https://codeberg.org/catseye/Vinegar : A semi-concatenative language where every operation can fail☆13Updated last year
- 蛇語(HEH-bee-go): An indentation-based skin for Hissp.☆25Updated 2 years ago
- CECS 342 Lab 4: Logic Languages with SWI-Prolog☆13Updated 3 years ago
- a quick system I hacked together to bundle a few thousand pages of notes I mostly haven’t published before up into an archive of pregener…☆15Updated 3 years ago
- Programming with pure lambda calculus☆107Updated last month
- Proof of concept for using silly encodings for source files☆20Updated 11 years ago
- BQN virtual machine☆31Updated last year
- A feature-rich, two-dimensional, recreational programming language. With mirrors.☆45Updated 4 years ago
- A set of files that can be used to create a working version of an early version of the CLU programming language☆36Updated 2 years ago
- Dyalog APL Extended☆28Updated last year
- CNN in APL☆22Updated 2 years ago
- Programming language for ternary computing☆30Updated 4 years ago
- Programming language for symbolic computation with unusual combination of pattern matching features: Tree patterns, associative patterns…☆47Updated 2 months ago
- [alpha!] [dormant!] An advanced cellular-automaton-specification language that transpiles to Golly's.☆17Updated 7 months ago
- Converting APL Primitives to NumPy Expressions☆27Updated last year
- A system to amalgamate any features you want into any language you need☆26Updated 2 years ago
- 🤠 Just a programming language with a silly name☆15Updated 2 years ago
- The future of programming.☆69Updated 4 years ago
- A derivative approach to finding your way in BQN☆39Updated 2 months ago
- Explorations in area of programming languages: concepts, typing, formal verification☆18Updated 3 years ago
- Dyalog APL ←→ Python interface☆78Updated 4 months ago
- Leibniz - a Digital Scientific Notation☆34Updated last month