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
  ☆86Updated 2 years ago
• tjwei / Fractran
  Javascript implementation of Fractran
  ☆15Updated 8 years ago
• altaris / opetopy
  Proof assistant for opetope and opetopic set derivation systems
  ☆15Updated 5 years ago
• athas / diving-beet
  A port of Falling Turnip from Haskell to Futhark and Go
  ☆23Updated last year
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆41Updated 8 months ago
• aardappel / aarded
  Implementation of the Aardappel programming language
  ☆31Updated 8 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 17 years ago
• acharal / wam
  A simple compiler from Prolog to WAM (Warren Abstract Machine) and a runtime for WAM.
  ☆20Updated 5 years ago
• opencog / generate
  Generate networks from syntax (e.g. natural language, math proofs, action plans, biome/reactome nets)
  ☆32Updated 2 months ago
• DaveAckley / ULAM
  Compiler for MFM programming language
  ☆26Updated 7 months ago
• machine-intelligence / Botworld
  A cellular automaton for studying self-modifying agents which are embedded in their environment
  ☆130Updated 11 years ago
• stassa / metasplain
  Explainable machine learning
  ☆17Updated 6 years ago
• webyrd / slpKanren
  Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren
  ☆34Updated 13 years ago
• ggp-org / ggp-base
  The General Game Playing Base Package
  ☆122Updated 5 years ago
• aceto / aceto
  A programming language based on a 2D Hilbert curve grid
  ☆88Updated 3 years ago
• sanderland / tsumego
  Ten Thousand Tsumego App
  ☆37Updated last year
• featurecat / go-dataset
  21.1 million Go games, 18k-9p
  ☆138Updated 6 years ago
• raphlinus / ghilbert
  Automatically exported from code.google.com/p/ghilbert
  ☆47Updated 8 years ago
• Functional-AutoDiff / STALINGRAD
  Stalin∇, a brutally optimizing compiler for the VLAD language
  ☆77Updated 7 years ago
• mk12 / luminosity
  A simple and elegant ray tracer.
  ☆14Updated last year
• JensNevens / Prolog-Scheduling-Problem
  A Scheduling Problem in Prolog
  ☆12Updated 10 years ago
• logicmoo / prologmud
  MUD Server written in Prolog using Forward chaining
  ☆28Updated 4 years ago
• Calysto / calysto_prolog
  A Prolog kernel for Jupyter
  ☆61Updated 6 years ago
• jackhumbert / zbalermorna
  lo vrici se pilno be fi la zbalermorna je lo ri taipfase
  ☆29Updated 2 years ago
• chrisamaphone / sestina
  Tinkering with creating a functional programming language for procedural content generation.
  ☆19Updated last year
• aaronjanse / marble-complete
  Design a turing-complete marble run with ascii/unicode art
  ☆58Updated 8 years ago
• benthepoet / c-sexpr-parser
  An s-expression parser written in C.
  ☆28Updated 6 years ago
• robertkleffner / CaKe
  An interpreter for a minimal but Turing-complete stack based 'concatenative' language.
  ☆19Updated 12 years ago
• catseye / ALPACA
  MIRROR of https://codeberg.org/catseye/ALPACA : A Language for the Pithy Articulation of Cellular Automata
  ☆23Updated 2 years ago
• LAC1213 / compact_unit_ball
  Lean proof that a normed vector space with compact unit ball is finite dimensional
  ☆11Updated 6 years ago