Alternatives and similar repositories for Influencie

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

• nomyx / Nomyx
  The Nomyx game
  ☆84Updated last year
• featurecat / go-dataset
  21.1 million Go games, 18k-9p
  ☆130Updated 5 years ago
• yanchick / awesome-GoBadukWeiqi
  Awesome list for board game Go/Baduk/Weiqi
  ☆19Updated 3 years ago
• machine-intelligence / Botworld
  A cellular automaton for studying self-modifying agents which are embedded in their environment
  ☆130Updated 11 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆40Updated 2 months ago
• altaris / opetopy
  Proof assistant for opetope and opetopic set derivation systems
  ☆15Updated 5 years ago
• ggp-org / ggp-base
  The General Game Playing Base Package
  ☆120Updated 4 years ago
• Anniepoo / swipldcgtut
  A tutorial for DCG's in swi-Prolog
  ☆35Updated 4 years ago
• symengine / symengine.hs
  Haskell bindings to SymEngine
  ☆27Updated last year
• tasuki / tsumego
  it sorta works in 2018
  ☆21Updated 3 years ago
• gregr / ina
  experimental computational medium and supporting tools
  ☆23Updated last month
• Calysto / calysto_prolog
  A Prolog kernel for Jupyter
  ☆61Updated 6 years ago
• likeaj6 / alphazero-hex
  AlphaZero implemented for Hex
  ☆24Updated 7 years ago
• padsproj / pads-haskell
  Haskell binding for PADS
  ☆19Updated 6 years ago
• Functional-AutoDiff / STALINGRAD
  Stalin∇, a brutally optimizing compiler for the VLAD language
  ☆76Updated 7 years ago
• LAC1213 / compact_unit_ball
  Lean proof that a normed vector space with compact unit ball is finite dimensional
  ☆11Updated 5 years ago
• logicmoo / prologmud
  MUD Server written in Prolog using Forward chaining
  ☆29Updated 3 years ago
• akkartik / am-utexas
  Reimplementation of Doug Lenat's Automated Mathematician by Bruce Porter's group at the University of Texas at Austin
  ☆57Updated 16 years ago
• sanderland / tsumego
  Ten Thousand Tsumego App
  ☆33Updated 10 months ago
• kblomdahl / dream-go
  Artificial go player based on reinforcement and supervised learning
  ☆48Updated 2 years ago
• stassa / Gleemin
  A Magic: the Gathering™ expert system
  ☆95Updated 13 years ago
• przchojecki / deepalgebra
  DeepAlgebra
  ☆25Updated 7 years ago
• raphlinus / ghilbert
  Automatically exported from code.google.com/p/ghilbert
  ☆48Updated 7 years ago
• online-go / gtp2ogs
  GTP Wrapper to allow bots to interface with the Online-Go.com Server
  ☆93Updated 4 months ago
• aardappel / aarded
  Implementation of the Aardappel programming language
  ☆31Updated 8 years ago
• diku-dk / futhark-benchmarks
  Various Futhark benchmark programs
  ☆42Updated last week
• BartJongejan / Bracmat
  Programming language for symbolic computation with unusual combination of pattern matching features: Tree patterns, associative patterns…
  ☆47Updated 4 months ago
• stassa / metasplain
  Explainable machine learning
  ☆17Updated 6 years ago
• DaveAckley / ULAM
  Compiler for MFM programming language
  ☆23Updated last month
• Recursing / sunfish_rs
  Rust rewrite of the sunfish simple chess engine
  ☆57Updated 3 years ago