Alternatives and similar repositories for awesome-AGI

Users that are interested in awesome-AGI are comparing it to the libraries listed below

• JordanMicahBennett / Supermathematics-and-Artificial-General-Intelligence
  I clearly unravel how I came to invent the supermanifold hypothesis in deep learning, (a part of a system called 'thought curvature') in …
  ☆20Updated 2 years ago
• opennars / ALANN2018
  Adaptive Logic and Neural Network (ALANN) version of NARS style General Machine Intelligence (GMI)
  ☆28Updated 2 years ago
• ccrock4t / NARS-Python
  A Non-Axiomatic Reasoning System implemented in Python
  ☆29Updated 4 months ago
• SpiNNakerManchester / SpiNNCer
  Bio-inspired neuromorphic cerebellum
  ☆10Updated last year
• patham9 / NarsGPT
  A NARS implemented as a GPT model prompted to invoke reasoning steps, with NARS-based memory and control machinery implemented in Python.
  ☆43Updated last year
• tigerneil / reinforcementlearning.today
  Made for a reading group at the Center for Safe AGI.
  ☆12Updated 2 years ago
• chen0040 / java-genetic-programming
  Genetic-programming framework for various genetic programming paradigms such as linear genetic programming, tree genetic programming, gen…
  ☆10Updated 8 years ago
• lab-v2 / pyreason-gym
  An OpenAI wrapper for PyReason to use in a Grid World reinforcement learning setting
  ☆31Updated last year
• chanind / tensor-theorem-prover
  First-order logic theorem prover supporting unification with approximate vector similarity
  ☆12Updated 2 years ago
• HiroakiMikami / deep-coder
  Re-implement DeepCoder (https://openreview.net/pdf?id=ByldLrqlx)
  ☆108Updated 5 years ago
• NolanoOrg / llama-int4-quant
  ☆26Updated 2 years ago
• Cerenaut / agi
  Research code & algorithms for artificial general intelligence.
  ☆65Updated 7 years ago
• sandialabs / Prove-It
  A tool for proving and organizing general theorems using Python.
  ☆29Updated this week
• you68681 / GPAR
  ☆23Updated last year
• RaviVijay / DeepLearningEE
  Collection of Papers and Trials on Deep Learning to aid EE design
  ☆45Updated 4 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
• lab-v2 / langdiversity
  Elevate your language models with insightful diversity metrics.
  ☆11Updated last year
• nlpodyssey / goslide
  SLIDE (Sub-LInear Deep learning Engine) written in Go
  ☆45Updated 5 years ago
• Guillemdb / fragile
  Framework for building algorithms based on FractalAI theory
  ☆19Updated 4 years ago
• cirosantilli / awesome-reinforcement-learning-games
  Ideas for games that serve as interesting vison / spacial / robotics reinforcement learning problems, and how to solve them.
  ☆67Updated 5 years ago
• nicolasprevot / GpuShareSat
  Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.
  ☆34Updated 4 years ago
• gomerudo / nas-env
  A simple OpenAI Gym environment for Neural Architecture Search (NAS)
  ☆30Updated 5 years ago
• jjoller / aixi
  Implementation of the Monte-Carlo CTW AIXI approximation as described by Joel Veness et al.
  ☆12Updated 8 years ago
• lileicc / swift
  A compiler for BLOG probabilistic programming language
  ☆26Updated 7 years ago
• whitemech / Plan4Past
  Classical and FOND Planning for Pure-Past Linear Temporal Logic Goals
  ☆19Updated 11 months ago
• opennars / OpenNARS-for-Applications
  General reasoning component for applications based on NARS theory.
  ☆101Updated 2 months ago
• patham9 / ANSNA
  Adaptive Neuro-Symbolic Network Agent
  ☆39Updated 3 years ago
• tmoer / MCTS-T
  Code for the paper 'Monte Carlo Tree Search for Asymmetric Trees'
  ☆11Updated 7 years ago
• CarsonScott / OpenAgent
  An agent library for systems of nested automata.
  ☆43Updated 8 years ago
• limo1996 / SAT-Solver
  Parallel SAT Solver
  ☆10Updated 7 years ago