averykatko / buffalo
English is fun
☆9Updated 9 years ago
Related projects ⓘ
Alternatives and complementary repositories for buffalo
- ever wanted to change water into wine? better: now you can change prose into poetry☆15Updated 8 years ago
- A small language to demo turning an interpreter into a compiler☆11Updated 8 years ago
- Interactive POetry Editor☆27Updated 3 years ago
- Tutorial for the CHR system☆15Updated 3 years ago
- Annie's version of talespin☆12Updated 6 years ago
- Our Ludum Dare entry☆20Updated 7 years ago
- Literate coq blog posts☆16Updated 8 years ago
- User Interfaces for Programming Languages: The Compendium☆27Updated 3 years ago
- Leibniz - a Digital Scientific Notation☆34Updated 3 months ago
- Datalog implemented in minikanren☆24Updated 7 years ago
- Your happy place for learning APL☆16Updated last year
- Purely local graph rewrite system for the SKI combinator calculus, in chemlambda style.☆16Updated last year
- exploration of reflective architectures in Scheme☆20Updated 2 years ago
- Lojban ologs (categorical databases) using jq☆23Updated 5 years ago
- Meta-Interpreters in miniKanren☆31Updated last year
- MUD Server written in Prolog using Forward chaining☆30Updated 2 years ago
- An Image Dictionary for Co-dfns☆14Updated 7 years ago
- things that don't deserve their own repo☆63Updated 4 months ago
- Sunrise on the Boxer Reconstruction Project☆46Updated this week
- Boolean Constraint Solving in Prolog☆37Updated last year
- tiny experimental language for limited environments☆17Updated last year
- a quick system I hacked together to bundle a few thousand pages of notes I mostly haven’t published before up into an archive of pregener…☆14Updated 2 years ago
- Simple Neural Network Examples in 8 lines APL☆30Updated last year
- An ergonomic, mobile-first, Prolog playground!☆30Updated 2 years ago
- Book and code: how to build and distribute applications in Dyalog APL☆33Updated 5 years ago
- Pure relational SKI combinator calculus interpreter.☆10Updated 7 years ago
- 📘⌨️ A Racket #lang and module for making cover PDFs for printed things.☆22Updated last year
- experimental computational medium and supporting tools☆22Updated this week
- Common Lisp DSL for building untyped lambda calculus expressions☆23Updated 2 years ago
- Fast, simplified WAM-based Prolog system☆18Updated last year