Alternatives and similar repositories for irma:

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

• opencog / asmoses
  MOSES Machine Learning: Meta-Optimizing Semantic Evolutionary Search for the AtomSpace (https://github.com/opencog/atomspace)
  ☆39Updated last year
• jasonmorton / Cateno
  A system for computational category theory and applications
  ☆35Updated 8 years ago
• KhaledSharif / TsetlinMachine
  An implementation of the Tsetlin Machine in Rust
  ☆16Updated 6 years ago
• nineties / Choco
  MinCaml Compiler implementation by Haskell
  ☆11Updated 13 years ago
• dmishin / minkovski-ca
  Simulator for cellular automata defined on regular lattices on Minkovski plane
  ☆11Updated 3 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…
  ☆15Updated 4 years ago
• cair / TsetlinMachineC
  A C implementation of the Tsetlin Machine
  ☆14Updated 5 years ago
• WuTheFWasThat / PyChurch
  A probabilistic programming language, based on Church
  ☆17Updated 7 years ago
• darius / pythological
  A MiniKanren in Python
  ☆36Updated 8 years ago
• thautwarm / PySExpr
  S-expressions in Python. Python cross-version compiler. Clean and efficient LISP back end.
  ☆17Updated 4 years ago
• moshesipper / tiny_ga
  Tiny Genetic Algorithm in Python.
  ☆9Updated last year
• trueagi-io / metta-examples
  Discussion of MeTTa programming with examples
  ☆20Updated this week
• mbudde / jana
  An interpreter for Janus, the reversible programming language.
  ☆14Updated 4 years ago
• uwplse / memsynth
  An advanced automated reasoning tool for memory consistency model specifications.
  ☆20Updated 2 years ago
• friguzzi / bddem
  bddem is a SWI-Prolog pack for using Binary Decision Diagrams
  ☆11Updated 11 months ago
• JordanMicahBennett / God
  A non-absolute, time-space complex optimal artificial brain (composed in matrix laboratory (matlab), by Jordan Micah Bennett)
  ☆22Updated 5 years ago
• advancedresearch / pocket_prover
  A fast, brute force, automatic theorem prover for first order logic
  ☆39Updated 2 months ago
• kawogi / krust
  A thin rusty wrapper around the Vulkan-API; provides some convenience functions for common tasks
  ☆11Updated 8 years ago
• opencog / attention
  OpenCog Attention Allocation Subsystem
  ☆12Updated last year
• trueagi-io / MORK
  MeTTa Optimal Reduction Kernel
  ☆11Updated this week
• PeterOvermann / TriadicMemory
  Cognitive Computing with Associative Memory
  ☆30Updated 9 months ago
• opencog / TinyCog
  Small Robot, Toy Robot platform
  ☆33Updated 4 years ago
• davidlazar / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆43Updated 9 years ago
• mbuliga / quinegraphs
  Library of js programs and demos for quines in graph-rewriting systems (for now chemlambda and interaction combinators).
  ☆19Updated last year
• krocki / manifold
  Content Addressable Memory using dimensionality reduction
  ☆12Updated 7 years ago
• rveen / ogdl-c
  OGDL for C
  ☆17Updated 6 years ago
• diku-dk / futhark-benchmarks
  Various Futhark benchmark programs
  ☆40Updated last month
• makepad / glui
  ☆15Updated 5 years ago
• numenta / hypersearch
  A particle swarm optimization library created by Numenta for hyperparameter optimization.
  ☆18Updated 9 years ago
• MrHootJones / futspace
  Futspace is a voxel based graphics engine implemented in Futhark
  ☆8Updated 4 years ago