Alternatives and similar repositories for irma

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

• pczarn / panini
  A general-purpose parser framework in Rust.
  ☆9Updated last year
• altaris / opetopy
  Proof assistant for opetope and opetopic set derivation systems
  ☆15Updated 5 years ago
• cair / TsetlinMachineC
  A C implementation of the Tsetlin Machine
  ☆15Updated 6 years ago
• OscarCunningham / logic-life-search
  Cellular automata search program
  ☆26Updated 3 years ago
• aadeshnpn / swarm
  Simulation framework for Swarms related application
  ☆11Updated 2 years ago
• hpmsxjtu / PHASE
  PHASE(Parallel High-performence Agent-based Simulation Environment)
  ☆9Updated 5 years ago
• moshesipper / tiny_ga
  Tiny Genetic Algorithm in Python.
  ☆9Updated last year
• loda-lang / loda-cpp
  Runtime and miner for the LODA language written in C++
  ☆26Updated this week
• KhaledSharif / TsetlinMachine
  An implementation of the Tsetlin Machine in Rust
  ☆16Updated 7 years ago
• patham9 / ANSNA
  Adaptive Neuro-Symbolic Network Agent
  ☆38Updated 3 years ago
• thoppe / Cayley-Dickson
  Cayley Dickson algebra implementation in python
  ☆12Updated 6 years ago
• friguzzi / bddem
  bddem is a SWI-Prolog pack for using Binary Decision Diagrams
  ☆11Updated last year
• a5kin / xentica
  GPU-accelerated engine for multi-dimensional cellular automata
  ☆31Updated 2 years ago
• jasonmorton / Cateno
  A system for computational category theory and applications
  ☆38Updated 9 years ago
• m1rza-s / Cellsim-2
  Simulating complete lives of different cellular animals and plants. Evolution, inheritance, predation and more.
  ☆29Updated 2 years ago
• dmishin / hyperbolic-ca-simulator
  Simulator of cellular automata on hyperbolic (Lobachevsky) plane, in browser.
  ☆38Updated 7 years ago
• scizzorz / rain
  A programming language.
  ☆21Updated 7 years ago
• tomzx / agi-concept-map
  The AGI Concept Map is my attempt at reconstructing all the internal knowledge I've acquired about artificial general intelligence over t…
  ☆14Updated 5 years ago
• Elayasuguchi / awesome-AGI
  a list of StrongAI related resources.
  ☆11Updated 2 years ago
• loda-lang / loda-programs
  LODA Programs for Integer Sequences
  ☆35Updated this week
• diku-dk / futhark-benchmarks
  Various Futhark benchmark programs
  ☆42Updated last month
• falk-hueffner / sematrope
  Superoptimizer using the z3 SMT solver
  ☆17Updated 4 years ago
• djbarrow / fundamental
  Software to look for interrelationships between constants and find formulas for number sequences
  ☆19Updated last year
• kawogi / krust
  A thin rusty wrapper around the Vulkan-API; provides some convenience functions for common tasks
  ☆11Updated 9 years ago
• kevinconway / pycc
  Python code optimizer.
  ☆20Updated 10 years ago
• Battelle / reductio
  An exploration of code homeomorphism
  ☆34Updated 7 years ago
• Mariusmarten / Complexity-Resources
  Complex Systems, Complexity, Chaos, Emergence, Network Theory, Nonlinear, Graph theory
  ☆19Updated 6 years ago
• machine-intelligence / Botworld
  A cellular automaton for studying self-modifying agents which are embedded in their environment
  ☆129Updated 11 years ago
• opencog / asmoses
  MOSES Machine Learning: Meta-Optimizing Semantic Evolutionary Search for the AtomSpace (https://github.com/opencog/atomspace)
  ☆43Updated last month
• jonathan-gramain / bitpunch
  Swiss Army knife for arbitrarily structured binary files
  ☆10Updated 6 years ago