tjwei / FractranLinks
Javascript implementation of Fractran
☆14Updated 7 years ago
Alternatives and similar repositories for Fractran
Users that are interested in Fractran are comparing it to the libraries listed below
Sorting:
- Purely local graph rewrite system for the SKI combinator calculus, in chemlambda style.☆18Updated last year
- A CPS transforming scheme compiler, Cheney on the MTA, etc☆14Updated 4 years ago
- MIRROR of https://codeberg.org/catseye/Vinegar : A semi-concatenative language where every operation can fail☆13Updated last year
- An implementation of Colin James' "Compiling Lambda Calculus"☆16Updated 2 years ago
- An Impractical Stack Language☆14Updated 5 years ago
- Pure relational SKI combinator calculus interpreter.☆11Updated 7 years ago
- A minimal ML, type-inferred, compiled, and/or interpreted in less than 750 lines☆36Updated 5 years ago
- An Image Dictionary for Co-dfns☆14Updated 8 years ago
- Fractran interpreter in Fractran☆34Updated 10 years ago
- A SKI combinators interpreter written in assembly☆20Updated 4 years ago
- a 666-byte, public domain SKI combinator calculus evaluator in C, minsky machines and other stuff☆11Updated 4 years ago
- lang Thue + Regex☆14Updated 3 years ago
- CNN in APL☆22Updated 2 years ago
- ☆24Updated 3 years ago
- Dyalog APL Extended☆28Updated last year
- Metamath verifier in Python☆39Updated 2 weeks ago
- An esoteric language based on overlapping tree-like structures☆10Updated 3 years ago
- Pawns functional/imperative programming language compiler etc☆9Updated 2 months ago
- Simple Neural Network Examples in 8 lines APL☆31Updated 2 years ago
- A Scheme-like Lisp interpreter that can also run as an operating system☆20Updated 11 years ago
- S-expressions in Python. Python cross-version compiler. Clean and efficient LISP back end.☆17Updated 5 years ago
- Reason about Term Rewriting Systems☆16Updated 2 years ago
- An interpreter for concatenative combinators (i.e. Combinators as a functional language)☆10Updated 3 years ago
- 📘⌨️ A Racket #lang and module for making cover PDFs for printed things.☆22Updated 2 years ago
- A collection of lambda calculus interpreters and development tools☆15Updated 2 years ago
- A feature-rich, two-dimensional, recreational programming language. With mirrors.☆46Updated 4 years ago
- Code from the paper Reflection for the Masses by Charlotte Herzeel, Pascal Costanza, and Theo D'Hondt.☆14Updated 4 years ago
- Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.☆16Updated 7 years ago
- A language for writing command line interfaces in Racket☆15Updated 3 years ago
- A simple prolog implementation in Rust☆26Updated 4 years ago