Alternatives and similar repositories for sestina

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

• yawgmoth / Ostari
  Practical Specification of Belief Manipulation in Games
  ☆33Updated 7 years ago
• chrisamaphone / ceptre-tutorial
  Tutorial materials for Ceptre.
  ☆14Updated 8 years ago
• darius / toot
  A small language to demo turning an interpreter into a compiler
  ☆11Updated 8 years ago
• jariazavalverde / fasill
  Fuzzy Aggregators and Similarity Into a Logic Language
  ☆25Updated last year
• alanb2718 / wallingford
  An experimental DSL for handling state and updates, along with constraints, in Rosette.
  ☆50Updated 6 years ago
• fplab / ui-for-pl
  User Interfaces for Programming Languages: The Compendium
  ☆28Updated 4 years ago
• chrisamaphone / interactive-lp
  Project materials related to logic programming for interactive/reactive systems. Contains the Ceptre programming language.
  ☆280Updated last year
• webyrd / linear-logic-multiset-rewriting
  Logic for story telling!
  ☆34Updated 7 years ago
• namin / mk-on-smt
  miniKanren for search, SMT for solving
  ☆13Updated 5 years ago
• mkremins / starfreighter
  https://mkremins.itch.io/starfreighter
  ☆14Updated 7 years ago
• logicmoo / prologmud
  MUD Server written in Prolog using Forward chaining
  ☆28Updated 3 years ago
• ianhorswill / UnityProlog
  A mostly ISO-compliant Prolog interpreter for Unity3D
  ☆36Updated 8 years ago
• stassa / metasplain
  Explainable machine learning
  ☆17Updated 6 years ago
• doppioslash / CastleOfElm
  Roguelike for 7DRL make in Elm
  ☆30Updated 9 years ago
• gregr / icfp2017-artifact-auas7pp
  ICFP 2017 Artifact for Functional Pearl: A Unified Approach to Solving Seven Programming Problems
  ☆29Updated 7 years ago
• stamourv / partial-evaluation-tutorial
  Racket implementation of Cook and Lämmel's partial evaluation tutorial.
  ☆31Updated 13 years ago
• enkiv2 / misc
  things that don't deserve their own repo
  ☆64Updated 3 months ago
• webyrd / curnelo
  Cur dependently-typed language in miniKanren.
  ☆17Updated 7 years ago
• Anniepoo / swipldcgtut
  A tutorial for DCG's in swi-Prolog
  ☆34Updated 4 years ago
• athas / diving-beet
  A port of Falling Turnip from Haskell to Futhark and Go
  ☆22Updated 10 months ago
• oblivia-simplex / plog
  A bare-bones blogging system, written in Prolog
  ☆26Updated last year
• lexi-lambda / mini-ml
  An experimental implementation of a tiny ML-like language using an embedded custom expander (WIP, currently just System F core language)
  ☆21Updated 6 years ago
• clf / lollimon
  Lollimon, a monadic concurrent linear logic programming language
  ☆28Updated 13 years ago
• rocketnia / fexpress
  A compilation-friendly fexpr language. (Proof of concept.)
  ☆23Updated 2 weeks ago
• kiranandcode / rhombus-in-the-rough
  A 2D RPG implemented in the Rhombus Racket dialect
  ☆56Updated 2 years ago
• SWI-PrologTeamLudumDare32 / LudumDare
  Our Ludum Dare entry
  ☆20Updated 8 years ago
• ericclack / racket-examples
  Example Racket games and demos using the 'How to Design Programs' framework with sprites, worlds, animation and game logic.
  ☆31Updated 5 years ago
• khinsen / leibniz-pharo
  Leibniz - a Digital Scientific Notation
  ☆36Updated 5 months ago
• stassa / Gleemin
  A Magic: the Gathering™ expert system
  ☆95Updated 13 years ago
• gregr / dbKanren
  Kanren with databases
  ☆44Updated last year