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
- Demo of a WAM Prolog implementation in Python☆71Updated last year
- An implementation of the rete algorithm from 'Production Matching for Large Learning Systems'☆75Updated 4 years ago
- Rewrite of Arthur Whitney's one-page J interpreter in Rust☆62Updated 4 years ago
- A bare-metal actor operating system for Raspberry Pi.☆69Updated last year
- Éole, a Lévy-optimal lambda calculus evaluator without oracle☆110Updated 5 years ago
- ☆96Updated 2 years ago
- What if Git worked with Programming Languages?☆98Updated 3 years ago
- the origins of J☆60Updated last year
- Generate (message) sequence diagrams from TLA+ state traces☆72Updated last year
- Brzozowski derivative python sketch☆83Updated 7 months ago
- Racket to WebAssembly Compiler☆27Updated 2 years ago
- visual bloom filter to display process status as neotrellis m4 output☆27Updated 6 months ago
- A wiki and web-services based development environment for Awelon project☆91Updated 5 years ago
- Book lucid interpreter written in python☆24Updated 5 years ago
- One-pass Code Generation in V8 (Archive)☆19Updated 2 years ago
- ☆53Updated 3 years ago
- Constructive real numbers, in JavaScript. Based on Hans-J. Boehm's Java implementation☆13Updated 2 years ago
- A meta tracing JIT for x86 and interpreters written in C/C++☆35Updated 7 years ago
- The Brown Benchmark for Table Types (B2T2)☆62Updated 4 months ago
- Cell compiler☆114Updated last year
- concatenative array language inspired by kdb/+q☆91Updated 2 years ago
- This is a new take on an old language: APL. The goal is to pare APL down to its elegant essence. This version of APL is oriented towar…☆88Updated last year
- Kerf (Kerf2) is a columnar tick database and time-series language for Linux/OSX/BSD/iOS/Android. It is written in C++ and natively speaks…☆25Updated 2 years ago
- bcc is a b compiler☆30Updated 2 years ago
- Hash-based Diffing for AST's☆75Updated 4 years ago
- Compact garbage-collected heap and JSON-like object model☆80Updated last year
- A simple program reducer for any language.☆73Updated last year
- An encoding of the UK's self-isolation rules in Prolog☆34Updated 3 years ago