semitrivial / IONs
Library of Intuitive Ordinal Notations (IONs)
☆11Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for IONs
- the origins of J☆60Updated last year
- a readable language that grows from the silicon☆60Updated last year
- A novel approach to finding your way in APL☆133Updated this week
- arthur whitney's b interpreter translated into a more traditional flavor of C☆96Updated 7 years ago
- [Mirror] A close reading of the μKanren paper.☆41Updated 2 years ago
- Forth Lisp Python Continuum: A small highly dynamic self-bootstrapping language☆221Updated 2 years ago
- Algorithmic Information Theory, using Binary Lambda Calculus☆134Updated last week
- 3-lisp implementation from Procedural Reflection in Programming Languages, volume i., Brian Cantwell Smith☆102Updated 2 years ago
- APL Compiler targeting a typed array intermediate language☆212Updated 2 months ago
- An ngn/k tutorial.☆195Updated 5 months ago
- The NIAL language environment☆111Updated last year
- A Small Lisp in Forth☆153Updated 3 years ago
- A compact, efficient Prolog interpreter written in plain-old C.☆274Updated this week
- Guy Steele's RABBIT Scheme compiler☆58Updated 15 years ago
- Manfred von Thun's Programming Language Joy☆83Updated 2 weeks ago
- interpret☆102Updated last week
- Constructive real numbers, in JavaScript. Based on Hans-J. Boehm's Java implementation☆13Updated 2 years ago
- k/simple is a bare minimum k interpreter for learning purposes by arthur whitney☆329Updated last month
- MStoical - a Forth like language, but better☆23Updated 7 months ago
- ☆96Updated 2 years ago
- A set of files that can be used to create a working version of an early version of the CLU programming language☆37Updated 2 years ago
- Conway's Game of Life in APL in FORTH: how to implement a weird programming language using another weird programming language☆87Updated 4 years ago
- A typed, polyglot, functional language☆195Updated last week
- An interpreter for a J-inspired language☆89Updated last year
- A simple implementation based on Peter Henderson's paper "Functional Geometry"☆96Updated 3 years ago
- High-Performance Klong array language in Python.☆120Updated 5 months ago
- Programming with pure lambda calculus☆88Updated 2 weeks ago
- Dependently-typed language with Iverson-style implicit lifting☆121Updated 4 years ago
- Kamby Language☆75Updated 2 weeks ago