Alternatives and similar repositories for buffalo:

Users that are interested in buffalo are comparing it to the libraries listed below

• darius / toot
  A small language to demo turning an interpreter into a compiler
  ☆11Updated 8 years ago
• Anniepoo / swiplchrtut
  Tutorial for the CHR system
  ☆16Updated 3 years ago
• bennn / iPoe
  Interactive POetry Editor
  ☆27Updated 3 years ago
• SWI-PrologTeamLudumDare32 / LudumDare
  Our Ludum Dare entry
  ☆20Updated 7 years ago
• mndrix / func
  Apply and compose functions in Prolog
  ☆19Updated 8 years ago
• triska / trs
  Reason about Term Rewriting Systems
  ☆15Updated 2 years ago
• michaelballantyne / syntax-spec
  A metalanguage for creating sophisticated DSLs in Racket.
  ☆28Updated last week
• ptarau / binprolog
  Fast, simplified WAM-based Prolog system
  ☆18Updated last year
• 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 3 years ago
• Co-dfns / apixlib
  An Image Dictionary for Co-dfns
  ☆14Updated 7 years ago
• samdphillips / rhombus-examples
  Some code in the Rhombus/Shrubbery prototype
  ☆12Updated last month
• webyrd / alphaKanren
  Nominal logic programming extensions to miniKanren, based on alphaProlog.
  ☆25Updated 10 years ago
• brismu / klesi
  Lojban ologs (categorical databases) using jq
  ☆23Updated 6 years ago
• jpt4 / skio
  Pure relational SKI combinator calculus interpreter.
  ☆10Updated 7 years ago
• SWI-Prolog-Education / talespin-annie
  Annie's version of talespin
  ☆12Updated 6 years ago
• kai-qu / poemify
  ever wanted to change water into wine? better: now you can change prose into poetry
  ☆15Updated 9 years ago
• henrikurms / tail2futhark
  ☆18Updated 6 years ago
• 5jt / dyalog-cookbook
  Book and code: how to build and distribute applications in Dyalog APL
  ☆33Updated 5 years ago
• webyrd / curnelo
  Cur dependently-typed language in miniKanren.
  ☆17Updated 6 years ago
• coq-community / qarith-stern-brocot
  Binary rational numbers in Coq [maintainer=@herbelin]
  ☆12Updated last year
• rntz / minikanren-datalog
  Datalog implemented in minikanren
  ☆24Updated 7 years ago
• samth / fancy-app
  A Scala-style magic function application form
  ☆43Updated 2 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆36Updated 9 months ago
• fplab / ui-for-pl
  User Interfaces for Programming Languages: The Compendium
  ☆27Updated 3 years ago
• takikawa / sweet-racket
  A port of sweet expressions to Racket
  ☆47Updated last year
• tangentstorm / mandelbrowse
  A visual Mandelbrot set explorer written in J
  ☆11Updated 4 years ago
• hnbeck / ecblackjack
  Simple BlackJack game via Browser using SWI Prolog, Tau Prolog
  ☆10Updated 4 years ago
• rocketnia / fexpress
  A compilation-friendly fexpr language. (Proof of concept.)
  ☆20Updated last year
• mndrix / microkanren-prolog
  Prolog implementation of microKanren
  ☆41Updated 9 years ago
• oblivia-simplex / plog
  A bare-bones blogging system, written in Prolog
  ☆25Updated 11 months ago