caminadab / metamine
A new declarative programming language
☆22Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for metamine
- [Mirror] A close reading of the μKanren paper.☆41Updated 2 years ago
- A bare-metal actor operating system for Raspberry Pi.☆69Updated last year
- An implementation of the rete algorithm from 'Production Matching for Large Learning Systems'☆75Updated 4 years ago
- ☆53Updated 3 years ago
- Demo of a WAM Prolog implementation in Python☆71Updated last year
- Brzozowski derivative python sketch☆83Updated 7 months ago
- visual bloom filter to display process status as neotrellis m4 output☆27Updated 6 months ago
- Hash-based Diffing for AST's☆75Updated 4 years ago
- A PEG that compiles itself.☆73Updated 14 years ago
- An ergonomic, mobile-first, Prolog playground!☆30Updated 2 years ago
- What if Git worked with Programming Languages?☆98Updated 3 years ago
- Book lucid interpreter written in python☆24Updated 5 years ago
- High-Performance Klong array language in Python.☆120Updated 5 months ago
- One-pass Code Generation in V8 (Archive)☆19Updated 2 years ago
- Rewrite of Arthur Whitney's one-page J interpreter in Rust☆62Updated 4 years ago
- A Tcl distibution for WebAssembly or Javascript☆48Updated 7 years ago
- nqthm - the original Boyer-Moore theorem prover, from 1992☆49Updated 8 years ago
- Éole, a Lévy-optimal lambda calculus evaluator without oracle☆110Updated 5 years ago
- concatenative array language inspired by kdb/+q☆90Updated 2 years ago
- ☆96Updated 2 years ago
- Dawn Phase 1 proto-language☆37Updated 3 years ago
- An encoding of the UK's self-isolation rules in Prolog☆34Updated 3 years ago
- Dependently-typed language with Iverson-style implicit lifting☆121Updated 4 years ago
- ☆10Updated 3 years ago
- Cell compiler☆114Updated last year
- the origins of J☆60Updated last year
- Variaous articles☆80Updated last year
- A language for pipe-based programming☆51Updated last year
- A simple implementation based on Peter Henderson's paper "Functional Geometry"☆96Updated 3 years ago
- APL Compiler targeting a typed array intermediate language☆212Updated 2 months ago