Alternatives and similar repositories for casanova

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

• darius / toot
  A small language to demo turning an interpreter into a compiler
  ☆11Updated 9 years ago
• chrisamaphone / sestina
  Tinkering with creating a functional programming language for procedural content generation.
  ☆19Updated last year
• tjwei / Fractran
  Javascript implementation of Fractran
  ☆15Updated 8 years ago
• ianhorswill / BotL
  Simplified logic programming language for Unity3D
  ☆11Updated 5 years ago
• logicmoo / logicmoo_workspace
  https://jenkins.logicmoo.org/job/logicmoo_workspace https://logicmoo.org/xwiki/
  ☆44Updated 2 years ago
• chrisamaphone / ceptre-tutorial
  Tutorial materials for Ceptre.
  ☆14Updated 9 years ago
• enkiv2 / ggc
  Generative Grammar Compiler
  ☆19Updated 9 years ago
• serprex / Rue
  lang Thue + Regex
  ☆15Updated 3 years ago
• triska / presprover
  Prove formulas of Presburger Arithmetic
  ☆11Updated last year
• acharal / wam
  A simple compiler from Prolog to WAM (Warren Abstract Machine) and a runtime for WAM.
  ☆20Updated 5 years ago
• SWI-PrologTeamLudumDare32 / LudumDare
  Our Ludum Dare entry
  ☆20Updated 8 years ago
• JanWielemaker / ffi
  SWI-Prolog dynamic C interface
  ☆17Updated last year
• jimwhite / treemeta
  A revival of the TREE-META compiler-compiler.
  ☆15Updated 7 years ago
• logicmoo / prologmud
  MUD Server written in Prolog using Forward chaining
  ☆28Updated 4 years ago
• theoremprover-museum / prover9
  Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.
  ☆16Updated 7 years ago
• logicmoo / logicmoo_clif
  Base Forward Chaining Knowledge Base Maintenance System
  ☆19Updated 4 years ago
• poplog / poplog
  Poplog
  ☆21Updated 15 years ago
• logicmoo / programk
  Chatbot impls in Prolog
  ☆15Updated 3 years ago
• mrocklin / matrix-algebra
  An algebra for Matrix Expressions written in Maude
  ☆24Updated 13 years ago
• hnbeck / ecblackjack
  Simple BlackJack game via Browser using SWI Prolog, Tau Prolog
  ☆10Updated 6 years ago
• ianhorswill / UnityProlog
  A mostly ISO-compliant Prolog interpreter for Unity3D
  ☆36Updated 8 years ago
• dalnefre / kernel_abe
  John Shutt's "Kernel" language implemented on ABE (C) runtime.
  ☆13Updated 7 years ago
• mndrix / prolog_library_ideas
  Random ideas about libraries for Prolog
  ☆12Updated 9 years ago
• olpa / gf-tokipona
  Describe Toki Pona using Grammatical Framework
  ☆11Updated 5 years ago
• darius / sketchbook
  Smallish programs written to learn something.
  ☆50Updated 2 years ago
• mndrix / jolog
  Concurrent and distributed Prolog via join patterns (join calculus)
  ☆12Updated 10 years ago
• ptarau / binprolog
  Fast, simplified WAM-based Prolog system
  ☆25Updated 3 months ago
• darius / cogen
  Compiler generator (3rd Futamura projection) for first-order Scheme
  ☆13Updated 9 years ago
• henrikurms / tail2futhark
  ☆19Updated 7 years ago
• friguzzi / bddem
  bddem is a SWI-Prolog pack for using Binary Decision Diagrams
  ☆12Updated 5 months ago