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
• raphlinus / ghilbert
  Automatically exported from code.google.com/p/ghilbert
  ☆48Updated 7 years ago
• athas / diving-beet
  A port of Falling Turnip from Haskell to Futhark and Go
  ☆22Updated 8 months ago
• acharal / wam
  A simple compiler from Prolog to WAM (Warren Abstract Machine) and a runtime for WAM.
  ☆20Updated 5 years ago
• DaveAckley / ULAM
  Compiler for MFM programming language
  ☆22Updated 3 weeks ago
• symengine / symengine.hs
  Haskell bindings to SymEngine
  ☆27Updated last year
• aardappel / aarded
  Implementation of the Aardappel programming language
  ☆31Updated 8 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆40Updated last month
• gregr / ina
  experimental computational medium and supporting tools
  ☆23Updated last week
• thautwarm / PySExpr
  S-expressions in Python. Python cross-version compiler. Clean and efficient LISP back end.
  ☆17Updated 5 years ago
• ggp-org / ggp-base
  The General Game Playing Base Package
  ☆120Updated 4 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
• tjwei / Fractran
  Javascript implementation of Fractran
  ☆14Updated 7 years ago
• feenkcom / gtoolkit-visualizer
  A set of visualization engines.
  ☆14Updated last week
• jcolag / Thue
  The Thue programming language: Programming with grammars
  ☆31Updated 11 years ago
• przchojecki / deepalgebra
  DeepAlgebra
  ☆25Updated 7 years ago
• ghosthamlet / ann.apl
  Simple Neural Network Examples in 8 lines APL
  ☆32Updated 2 years ago
• stassa / metasplain
  Explainable machine learning
  ☆17Updated 6 years ago
• altaris / opetopy
  Proof assistant for opetope and opetopic set derivation systems
  ☆15Updated 5 years ago
• serprex / Befunge
  lang befunge 93 fast
  ☆20Updated last year
• padsproj / pads-haskell
  Haskell binding for PADS
  ☆19Updated 6 years ago
• machine-intelligence / Botworld
  A cellular automaton for studying self-modifying agents which are embedded in their environment
  ☆130Updated 11 years ago
• C0deH4cker / Fission
  The programming language that defies the laws of physics
  ☆23Updated 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
• mk12 / luminosity
  A simple and elegant ray tracer.
  ☆13Updated last year
• Co-dfns / mystika
  High-end Cryptographic Library
  ☆44Updated 5 years ago
• stassa / Gleemin
  A Magic: the Gathering™ expert system
  ☆94Updated 13 years ago
• mchakravarty / BigPixel
  Pixel art for games
  ☆140Updated 10 years ago
• darius / toot
  A small language to demo turning an interpreter into a compiler
  ☆11Updated 8 years ago
• j2kun / art-turing-ellipse
  A six-panel artistic rendition of Alan Turing
  ☆20Updated 5 years ago