Alternatives and similar repositories for sestina

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

• hnbeck / ecblackjack

  View on GitHub
  Simple BlackJack game via Browser using SWI Prolog, Tau Prolog
  ☆10Feb 2, 2020Updated 6 years ago
• joom / direct-reflection-for-free

  View on GitHub
  using Data and Typeable to get a direct reflection system for free, when we're implementing a toy language in Haskell
  ☆15Feb 21, 2020Updated 5 years ago
• webyrd / declarative-semantics

  View on GitHub
  miniKanren implementation of ' Declarative semantics for functional languages: compositional, extensional, and elementary' by Jeremy Siek…
  ☆15Mar 16, 2018Updated 7 years ago
• SWI-PrologTeamLudumDare32 / LudumDare

  View on GitHub
  Our Ludum Dare entry
  ☆20Feb 19, 2017Updated 8 years ago
• lizadaly / nanogenmo2015

  View on GitHub
  Entries for NaNoGenMo2015
  ☆12Oct 15, 2017Updated 8 years ago
• philzook58 / lens-algebra

  View on GitHub
  Type level algebraic "proofs" using lens combinators
  ☆19Jul 26, 2019Updated 6 years ago
• jariazavalverde / fasill

  View on GitHub
  Fuzzy Aggregators and Similarity Into a Logic Language
  ☆26Sep 12, 2024Updated last year
• logicmoo / logicmoo_ec

  View on GitHub
  A SWI-Prolog Pack that lets Prolog code seamlessly switch between planners
  ☆16Feb 6, 2022Updated 4 years ago
• JanWielemaker / swi-erlang

  View on GitHub
  Yes, Erlang in SWI-Prolog!
  ☆12Jun 18, 2018Updated 7 years ago
• oblivia-simplex / plog

  View on GitHub
  A bare-bones blogging system, written in Prolog
  ☆26Feb 3, 2024Updated 2 years ago
• mcclure / ts-hello

  View on GitHub
  Typescript starting project. Separate branches for React and Preact. Fork me
  ☆26Sep 1, 2025Updated 5 months ago
• yawgmoth / Ostari

  View on GitHub
  Practical Specification of Belief Manipulation in Games
  ☆33Jan 25, 2018Updated 8 years ago
• ru / casanova

  View on GitHub
  A charming general game player
  ☆17Apr 20, 2010Updated 15 years ago
• DeMaCS-UNICAL / EmbASP

  View on GitHub
  A general framework for embedding Logic Programming in complex systems
  ☆30Mar 30, 2024Updated last year
• kkty / prolog

  View on GitHub
  Implementation of Prolog in TypeScript
  ☆35Dec 30, 2022Updated 3 years ago
• spinnylights / some_sort_of_game_engine

  View on GitHub
  A still-nascent, GPL-licensed, modular, "Unix way" game engine.
  ☆10May 17, 2023Updated 2 years ago
• packz / shellcodes

  View on GitHub
  utilities
  ☆15Jul 2, 2013Updated 12 years ago
• ianhorswill / UnityProlog

  View on GitHub
  A mostly ISO-compliant Prolog interpreter for Unity3D
  ☆36Jul 25, 2017Updated 8 years ago
• bigjko / cwine

  View on GitHub
  Cwine - Comic Twine Tool
  ☆33Jul 15, 2016Updated 9 years ago
• ar3cka / Journalist

  View on GitHub
  Serverless event store based on windows azure storage table.
  ☆11Oct 23, 2020Updated 5 years ago
• DarkStarSword / miasmata-fixes

  View on GitHub
  Miasmata Fixes
  ☆16Feb 2, 2025Updated last year
• mattbailey / quake-slide

  View on GitHub
  ☆10Sep 8, 2015Updated 10 years ago
• swi-to-yap / swicli

  View on GitHub
  SWI-Prolog 2-Way interface to Commmon Language Interface
  ☆13Jan 21, 2017Updated 9 years ago
• vaporvee / gd-net-thirdpersoncontroller

  View on GitHub
  Thirdperson controller made in the .NET version of Godot 4.0 with C#
  ☆14Mar 21, 2024Updated last year
• epstabler / mgtdb

  View on GitHub
  MG top-down beam parsing
  ☆13Jul 2, 2018Updated 7 years ago
• paolobrasolin / string-diagrams

  View on GitHub
  Create string diagrams with LaTeX!
  ☆14Jan 3, 2025Updated last year
• ExpressiveIntelligence / PromWeek

  View on GitHub
  ☆12Apr 4, 2019Updated 6 years ago
• Zekt / Type-Embellishment

  View on GitHub
  Experimenting on ornamentation in Agda via reflection.
  ☆12Jul 1, 2023Updated 2 years ago
• ianhorswill / CatSAT

  View on GitHub
  A simple, ASP-like embedded logic programming language for games
  ☆47Jun 8, 2024Updated last year
• DavidJaz / DynamicalSystemsBook

  View on GitHub
  ☆52May 19, 2024Updated last year
• roshan-research / dependency-parse-tree

  View on GitHub
  Dependency parse tree visualization with D3 library.
  ☆45Jul 19, 2023Updated 2 years ago
• firoorg / spark-paper

  View on GitHub
  The technical paper for the Spark protocol
  ☆11Mar 5, 2024Updated last year
• axodotdev / Maintainers-Read-the-CRA

  View on GitHub
  ☆10Jul 24, 2024Updated last year
• mgree / trampoline

  View on GitHub
  Safely running potentially non-terminating functions in Elm.
  ☆10Apr 20, 2021Updated 4 years ago
• nikivazou / proof-combinators

  View on GitHub
  Proof combinators used in Liquid Haskell for theorem proving
  ☆12Mar 28, 2018Updated 7 years ago
• gordonbrander / thebackup

  View on GitHub
  The Backup Bag
  ☆11Jul 27, 2022Updated 3 years ago
• edwinb / SchemeEval

  View on GitHub
  Experimental normalisation via scheme
  ☆12Jul 25, 2021Updated 4 years ago
• logicmoo / programk

  View on GitHub
  Chatbot impls in Prolog
  ☆15Feb 15, 2022Updated 3 years ago
• bitonic / hakyll-agda

  View on GitHub
  Hakyll support for Agda literate files
  ☆19Jul 20, 2021Updated 4 years ago