averykatko / buffalo

Related projects ⓘ

Alternatives and complementary repositories for buffalo

• darius / toot
  A small language to demo turning an interpreter into a compiler
  ☆11Updated 8 years ago
• oblivia-simplex / plog
  A bare-bones blogging system, written in Prolog
  ☆25Updated 9 months ago
• fplab / ui-for-pl
  User Interfaces for Programming Languages: The Compendium
  ☆27Updated 3 years ago
• bennn / iPoe
  Interactive POetry Editor
  ☆27Updated 3 years ago
• Anniepoo / swiplchrtut
  Tutorial for the CHR system
  ☆15Updated 3 years ago
• rntz / minikanren-datalog
  Datalog implemented in minikanren
  ☆24Updated 7 years ago
• kragen / dercuano
  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
• namin / metamk
  Meta-Interpreters in miniKanren
  ☆31Updated last year
• ptarau / binprolog
  Fast, simplified WAM-based Prolog system
  ☆18Updated last year
• MostAwesomeDude / klesi
  Lojban ologs (categorical databases) using jq
  ☆23Updated 5 years ago
• khinsen / leibniz-pharo
  Leibniz - a Digital Scientific Notation
  ☆34Updated 2 months ago
• namin / reflection-schemes
  exploration of reflective architectures in Scheme
  ☆20Updated 2 years ago
• logicmoo / prologmud
  MUD Server written in Prolog using Forward chaining
  ☆30Updated 2 years ago
• gregr / dbKanren
  Kanren with databases
  ☆43Updated 3 months ago
• mbuliga / chemski
  Purely local graph rewrite system for the SKI combinator calculus, in chemlambda style.
  ☆16Updated last year
• kai-qu / poemify
  ever wanted to change water into wine? better: now you can change prose into poetry
  ☆15Updated 8 years ago
• Qqwy / Jux
  ☆13Updated 3 years ago
• boxer-project / boxer-sunrise
  Sunrise on the Boxer Reconstruction Project
  ☆46Updated this week
• DaveAckley / ULAM
  Compiler for MFM programming language
  ☆21Updated 2 weeks ago
• SWI-PrologTeamLudumDare32 / LudumDare
  Our Ludum Dare entry
  ☆20Updated 7 years ago
• webyrd / normalization-by-evaluation
  Normalization-by-evaluation in miniKanren
  ☆23Updated last year
• samdphillips / rhombus-examples
  Some code in the Rhombus/Shrubbery prototype
  ☆12Updated last year
• webyrd / curnelo
  Cur dependently-typed language in miniKanren.
  ☆17Updated 6 years ago
• countvajhula / cli
  A language for writing command line interfaces in Racket
  ☆15Updated 2 years ago
• the-carlisle-group / Dado
  DevOps for Dyalog APL
  ☆16Updated 3 weeks ago
• SWI-Prolog-Education / talespin-annie
  Annie's version of talespin
  ☆12Updated 6 years ago
• kyagrd / tiper
  Type Inference Prototyping Engine from Relational specifications of type systems
  ☆11Updated 4 years ago
• MostAwesomeDude / brismu
  A relational interpretation of Lojban
  ☆32Updated last week
• moon-chilled / j
  various toys in j
  ☆12Updated 2 years ago
• SWI-Prolog / packages-plunit
  The SWI-Prolog Unit Testing library
  ☆9Updated this week