semitrivial / IONsLinks
Library of Intuitive Ordinal Notations (IONs)
☆11Updated 5 years ago
Alternatives and similar repositories for IONs
Users that are interested in IONs are comparing it to the libraries listed below
Sorting:
- the origins of J☆63Updated 2 years ago
- C plus Prolog☆168Updated 10 months ago
- A small, weird and unpractical programming language.☆102Updated last week
- An ngn/k tutorial.☆210Updated last year
- A novel approach to finding your way in APL☆149Updated 3 weeks ago
- arthur whitney's b interpreter translated into a more traditional flavor of C☆100Updated 8 years ago
- k/simple is a bare minimum k interpreter for learning purposes by arthur whitney☆453Updated 8 months ago
- tar creator+extractor in ~100 lines of prolog☆259Updated 3 years ago
- Algorithmic Information Theory, using Binary Lambda Calculus☆197Updated this week
- Constructive real numbers, in JavaScript. Based on Hans-J. Boehm's Java implementation☆18Updated 3 years ago
- The NIAL language environment☆115Updated 2 years ago
- A compact, efficient Prolog interpreter written in plain old C.☆341Updated this week
- Make Project Oberon Pretty Again☆204Updated 2 years ago
- Conway's Game of Life in APL in FORTH: how to implement a weird programming language using another weird programming language☆96Updated 5 years ago
- interpret☆121Updated 2 weeks ago
- ☆104Updated 3 years ago
- Proofs in Coq for the book Reflective Programs in Tree Calculus☆180Updated 4 years ago
- [Mirror] A close reading of the μKanren paper.☆43Updated 3 years ago
- a tiny self-hosted Forth implementation☆436Updated 5 years ago
- An APL interpreter written in JavaScript. Runs in a browser or NodeJS.☆58Updated last year
- Infinitely configurable integrated IDE and text editor☆128Updated last year
- An interpreter for a J-inspired language☆92Updated 2 years ago
- An easy programming language that runs in the browser☆194Updated this week
- The cuteness implementation of a dependently typed language.☆193Updated 3 years ago
- [WIP] A book on the k language.☆50Updated 3 years ago
- A simple implementation based on Peter Henderson's paper "Functional Geometry"☆96Updated 4 years ago
- Solving the first 100 Project Euler problems using 100 different programming languages!☆243Updated 8 months ago
- Demo of a WAM Prolog implementation in Python☆78Updated 2 years ago
- A reference implementation of Alan Turing's 1936 paper, On Computable Numbers☆46Updated last year
- Forth Lisp Python Continuum: A small highly dynamic self-bootstrapping language☆225Updated 3 years ago