Alternatives and similar repositories for Influencie

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

• Anniepoo / swipldcgtut
  A tutorial for DCG's in swi-Prolog
  ☆35Updated 4 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆40Updated 6 months ago
• padsproj / pads-haskell
  Haskell binding for PADS
  ☆20Updated 6 years ago
• nomyx / Nomyx
  The Nomyx game
  ☆84Updated 2 years ago
• dmishin / js-revca
  Reversible cellular automata simulator in HTML5 + Java Script.
  ☆32Updated 8 years ago
• ggp-org / ggp-base
  The General Game Playing Base Package
  ☆121Updated 4 years ago
• raphlinus / ghilbert
  Automatically exported from code.google.com/p/ghilbert
  ☆47Updated 8 years ago
• Calysto / calysto_prolog
  A Prolog kernel for Jupyter
  ☆61Updated 6 years ago
• acharal / wam
  A simple compiler from Prolog to WAM (Warren Abstract Machine) and a runtime for WAM.
  ☆20Updated 5 years ago
• machine-intelligence / Botworld
  A cellular automaton for studying self-modifying agents which are embedded in their environment
  ☆129Updated 11 years ago
• npe9 / aop
  Art of Prolog Code
  ☆36Updated 6 years ago
• akkartik / am-utexas
  Reimplementation of Doug Lenat's Automated Mathematician by Bruce Porter's group at the University of Texas at Austin
  ☆58Updated 16 years ago
• chrisamaphone / ceptre-tutorial
  Tutorial materials for Ceptre.
  ☆14Updated 9 years ago
• JensNevens / Prolog-Scheduling-Problem
  A Scheduling Problem in Prolog
  ☆12Updated 9 years ago
• altaris / opetopy
  Proof assistant for opetope and opetopic set derivation systems
  ☆15Updated 5 years ago
• digama0 / mmj2
  mmj2 GUI Proof Assistant for the Metamath project
  ☆75Updated last year
• chrisamaphone / sestina
  Tinkering with creating a functional programming language for procedural content generation.
  ☆19Updated last year
• Recursing / sunfish_rs
  Rust rewrite of the sunfish simple chess engine
  ☆57Updated 4 years ago
• namin / mk-on-smt
  miniKanren for search, SMT for solving
  ☆13Updated 6 years ago
• mk12 / luminosity
  A simple and elegant ray tracer.
  ☆14Updated last year
• logicmoo / prologmud
  MUD Server written in Prolog using Forward chaining
  ☆28Updated 3 years ago
• ridiculousfish / wavefiz
  GL Wavefunction Visualizer
  ☆48Updated last year
• yanchick / awesome-GoBadukWeiqi
  Awesome list for board game Go/Baduk/Weiqi
  ☆19Updated 3 years ago
• przchojecki / deepalgebra
  DeepAlgebra
  ☆25Updated 8 years ago
• athas / diving-beet
  A port of Falling Turnip from Haskell to Futhark and Go
  ☆23Updated last year
• stassa / Gleemin
  A Magic: the Gathering™ expert system
  ☆95Updated 13 years ago
• cheery / chartparser
  Chart parser (Earley SPPF)
  ☆27Updated 7 years ago
• dmishin / hyperbolic-ca-simulator
  Simulator of cellular automata on hyperbolic (Lobachevsky) plane, in browser.
  ☆38Updated 7 years ago
• stassa / metasplain
  Explainable machine learning
  ☆17Updated 6 years ago
• GJDuck / SAT.js
  A JavaScript SAT solver (http://www.comp.nus.edu.sg/~gregory/sat/)
  ☆47Updated 11 years ago