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
- An ngn/k tutorial.☆204Updated last year
- Algorithmic Information Theory, using Binary Lambda Calculus☆166Updated 2 weeks ago
- A small, weird and unpractical programming language.☆103Updated last week
- C plus Prolog☆162Updated 5 months 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
- [Mirror] A close reading of the μKanren paper.☆43Updated 3 years ago
- A novel approach to finding your way in APL☆142Updated 2 weeks ago
- tar creator+extractor in ~100 lines of prolog☆263Updated 2 years ago
- a readable language that grows from the silicon☆60Updated 2 years ago
- ☆101Updated 3 years ago
- An interpreter for a J-inspired language☆92Updated 2 years ago
- k/simple is a bare minimum k interpreter for learning purposes by arthur whitney☆403Updated 2 months ago
- Make Project Oberon Pretty Again☆196Updated last year
- An easy programming language that runs in the browser☆192Updated last week
- A List of companies that use Array Languages (J, K, APL, q)☆99Updated last year
- The NIAL language environment☆112Updated 2 years ago
- A compact, efficient Prolog interpreter written in plain-old C.☆307Updated this week
- A tiny Racket for scripting☆297Updated last week
- A literate programming system for any language.☆112Updated last year
- arthur whitney's b interpreter translated into a more traditional flavor of C☆100Updated 7 years ago
- Proofs in Coq for the book Reflective Programs in Tree Calculus☆178Updated 4 years ago
- Infinitely configurable integrated IDE and text editor☆125Updated 9 months ago
- Solving the first 100 Project Euler problems using 100 different programming languages!☆241Updated 2 months ago
- interpret☆112Updated this week
- The Principia Rewrite☆224Updated 6 months ago
- Constructive real numbers, in JavaScript. Based on Hans-J. Boehm's Java implementation☆17Updated 3 years ago
- Tiny, esoteric, stack-based, postfix, canvas colouring language with only 36 simple commands☆125Updated 5 months ago
- Demo of a WAM Prolog implementation in Python☆77Updated 2 years ago
- Fork of Lua 5.1 to encourage end-user programming☆170Updated last year