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.☆211Updated last year
- Algorithmic Information Theory, using Binary Lambda Calculus☆195Updated 2 weeks ago
- tar creator+extractor in ~100 lines of prolog☆263Updated 2 years ago
- A novel approach to finding your way in APL☆147Updated 2 weeks ago
- A compact, efficient Prolog interpreter written in plain-old C.☆334Updated 2 weeks ago
- C plus Prolog☆167Updated 10 months ago
- The NIAL language environment☆114Updated 2 years ago
- [Mirror] A close reading of the μKanren paper.☆43Updated 3 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
- A small, weird and unpractical programming language.☆102Updated last week
- k/simple is a bare minimum k interpreter for learning purposes by arthur whitney☆452Updated 7 months ago
- Demo of a WAM Prolog implementation in Python☆78Updated 2 years ago
- a readable language that grows from the silicon☆60Updated 2 years ago
- Manfred von Thun's Programming Language Joy☆101Updated 11 months ago
- Proofs in Coq for the book Reflective Programs in Tree Calculus☆180Updated 4 years ago
- arthur whitney's b interpreter translated into a more traditional flavor of C☆100Updated 8 years ago
- Constructive real numbers, in JavaScript. Based on Hans-J. Boehm's Java implementation☆18Updated 3 years ago
- A Lisp interpreter written in untyped lambda calculus☆249Updated 2 years ago
- a tiny self-hosted Forth implementation☆433Updated 5 years ago
- The cuteness implementation of a dependently typed language.☆193Updated 3 years ago
- A tiny Racket for scripting☆306Updated 5 months ago
- A simple implementation based on Peter Henderson's paper "Functional Geometry"☆96Updated 4 years ago
- A Small Lisp in Forth☆158Updated 4 years ago
- Infinitely configurable integrated IDE and text editor☆129Updated last year
- ☆104Updated 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
- Bootstrapping a Forth interpreter from hand-written tiny ELF binary. Just for fun.☆333Updated 3 years ago
- An easy programming language that runs in the browser☆194Updated this week