Alternatives and similar repositories for irma:

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

• falk-hueffner / sematrope
  Superoptimizer using the z3 SMT solver
  ☆17Updated 3 years ago
• cair / TsetlinMachineC
  A C implementation of the Tsetlin Machine
  ☆14Updated 6 years ago
• uwplse / memsynth
  An advanced automated reasoning tool for memory consistency model specifications.
  ☆21Updated 3 years ago
• thautwarm / PySExpr
  S-expressions in Python. Python cross-version compiler. Clean and efficient LISP back end.
  ☆17Updated 4 years ago
• trueagi-io / MORK
  MeTTa Optimal Reduction Kernel
  ☆14Updated last week
• apayne / pylinda
  (Original: code.google.com/p/pylinda) A Linda implementation in Python.
  ☆11Updated 2 years ago
• darius / pythological
  A MiniKanren in Python
  ☆35Updated 8 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
• patham9 / ANSNA
  Adaptive Neuro-Symbolic Network Agent
  ☆36Updated 2 years ago
• friguzzi / bddem
  bddem is a SWI-Prolog pack for using Binary Decision Diagrams
  ☆11Updated last year
• msbrogli / sdm-framework
  A Sparse Distributed Memory Framework.
  ☆44Updated 5 years ago
• textX / viewX-vscode
  A Visual Studio Code extension for visualization of code/model written in a DSL created using textX.
  ☆12Updated 6 years ago
• CarsonScott / CALM
  Conditional Associative Logic Memory
  ☆27Updated 7 years ago
• JUrban / MPTP2
  ☆19Updated 7 years ago
• opencog / TinyCog
  Small Robot, Toy Robot platform
  ☆34Updated 4 years ago
• sdiehl / pyrewrite
  Python term rewriting
  ☆29Updated 11 years ago
• trueagi-io / metta-examples
  Discussion of MeTTa programming with examples
  ☆21Updated last week
• HackerFoo / startle
  Startle C Library
  ☆18Updated 5 years ago
• opencog / asmoses
  MOSES Machine Learning: Meta-Optimizing Semantic Evolutionary Search for the AtomSpace (https://github.com/opencog/atomspace)
  ☆39Updated last week
• altaris / opetopy
  Proof assistant for opetope and opetopic set derivation systems
  ☆14Updated 4 years ago
• tangentstorm / mandelbrowse
  A visual Mandelbrot set explorer written in J
  ☆11Updated 4 years ago
• makepad / glui
  ☆16Updated 5 years ago
• bgalvao / nodevo
  An implementation of Genetic Programming in Rust.
  ☆13Updated 7 years ago
• Battelle / reductio
  An exploration of code homeomorphism
  ☆34Updated 6 years ago
• thoppe / Cayley-Dickson
  Cayley Dickson algebra implementation in python
  ☆12Updated 6 years ago
• klebs6 / caffe2-rs
  ☆12Updated last year
• cubicle-model-checker / cubicle
  The Cubicle model checker
  ☆13Updated 10 months ago
• gvx / deja
  The Déjà Vu programming language
  ☆15Updated 10 years ago
• scizzorz / rain
  A programming language.
  ☆20Updated 7 years ago
• CarsonScott / OpenAgent
  An agent library for systems of nested automata.
  ☆42Updated 7 years ago