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☆165Updated 7 months ago
- An ngn/k tutorial.☆207Updated last year
- Constructive real numbers, in JavaScript. Based on Hans-J. Boehm's Java implementation☆17Updated 3 years ago
- Conway's Game of Life in APL in FORTH: how to implement a weird programming language using another weird programming language☆95Updated 5 years ago
- A small, weird and unpractical programming language.☆103Updated last week
- tar creator+extractor in ~100 lines of prolog☆262Updated 2 years ago
- Make Project Oberon Pretty Again☆198Updated last year
- k/simple is a bare minimum k interpreter for learning purposes by arthur whitney☆413Updated 4 months ago
- arthur whitney's b interpreter translated into a more traditional flavor of C☆100Updated 7 years ago
- Algorithmic Information Theory, using Binary Lambda Calculus☆171Updated this week
- The NIAL language environment☆112Updated 2 years ago
- a readable language that grows from the silicon☆60Updated 2 years ago
- Manfred von Thun's Programming Language Joy☆97Updated 9 months ago
- Proofs in Coq for the book Reflective Programs in Tree Calculus☆180Updated 4 years ago
- A tiny Racket for scripting☆298Updated 2 months ago
- A simple implementation based on Peter Henderson's paper "Functional Geometry"☆96Updated 4 years ago
- [Mirror] A close reading of the μKanren paper.☆43Updated 3 years ago
- An interpreter for a J-inspired language☆92Updated 2 years ago
- An APL interpreter written in JavaScript. Runs in a browser or NodeJS.☆58Updated last year
- Solving the first 100 Project Euler problems using 100 different programming languages!☆240Updated 5 months ago
- Infinitely configurable integrated IDE and text editor☆127Updated last year
- A reference implementation of Alan Turing's 1936 paper, On Computable Numbers☆45Updated last year
- interpret☆110Updated 2 weeks ago
- A compact, efficient Prolog interpreter written in plain-old C.☆318Updated this week
- A novel approach to finding your way in APL☆142Updated last month
- An easy programming language that runs in the browser☆192Updated this week
- Tiny, esoteric, stack-based, postfix, canvas colouring language with only 36 simple commands☆134Updated 8 months ago
- A simple implementation of the SECD abstract machine (https://en.wikipedia.org/wiki/SECD_machine)☆124Updated 12 years ago
- A Small Lisp in Forth☆159Updated 4 years ago