Alternatives and similar repositories for rlc

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

• gpoesia / peano
  An environment for learning formal mathematical reasoning from scratch
  ☆71Updated last year
• mlb2251 / stitch
  A scalable abstraction learning library
  ☆82Updated last month
• google-research / crossbeam
  ☆43Updated 2 years ago
• victorvikram / ConceptARC
  Materials for ConceptARC paper
  ☆104Updated 11 months ago
• NetHack-LE / nle
  The NetHack Learning Environment
  ☆94Updated last month
• logic-and-learning-lab / Popper
  An inductive logic programming system
  ☆238Updated last month
• Metta-AI / metta
  A reinforcement learning codebase focusing on the emergence of cooperation and alignment in multi-agent AI systems.
  ☆124Updated this week
• PufferAI / pokegym
  Gymnasium environment for Pokemon Red
  ☆44Updated last year
• ssokota / mec
  Code for minimum-entropy coupling.
  ☆32Updated last year
• lowrollr / turbozero
  fast + parallel AlphaZero in JAX
  ☆103Updated 10 months ago
• samacqua / LARC
  Language-annotated Abstraction and Reasoning Corpus
  ☆93Updated 2 years ago
• khalil-research / ARGA-AAAI23
  Abstract Reasoning with Graph Abstractions (ARGA) implementation
  ☆61Updated last year
• maxencefaldor / omni-epic
  OMNI-EPIC: Open-endedness via Models of human Notions of Interestingness with Environments Programmed in Code (ICLR 2025).
  ☆69Updated 10 months ago
• imbue-ai / carbs
  Cost aware hyperparameter tuning algorithm
  ☆172Updated last year
• luchris429 / JaxLife
  An Open-Ended Agentic Simulator
  ☆52Updated last year
• facebookresearch / oni
  Learn online intrinsic rewards from LLM feedback
  ☆44Updated 10 months ago
• you68681 / GPAR
  ☆23Updated last year
• probcomp / LLaMPPL
  A domain-specific probabilistic programming language for modeling and inference with language models
  ☆136Updated 6 months ago
• BatsResearch / planetarium
  Dataset and benchmark for assessing LLMs in translating natural language descriptions of planning problems into PDDL
  ☆59Updated last year
• namin / llm-verified-with-monte-carlo-tree-search
  LLM verified with Monte Carlo Tree Search
  ☆281Updated 7 months ago
• ellisk42 / LambdaBeam
  ☆13Updated last year
• upiterbarg / lintseq
  [ICLR 2025] "Training LMs on Synthetic Edit Sequences Improves Code Synthesis" (Piterbarg, Pinto, Fergus)
  ☆19Updated 8 months ago
• iglu-contest / gridworld
  A reinforcement learning environment for the IGLU 2022 at NeurIPS
  ☆34Updated 2 years ago
• kenjyoung / mctx_learning_demo
  ☆52Updated 2 years ago
• diplomacy / diplomacy
  Diplomacy: DATC-Compliant Game Engine with Web Interface
  ☆161Updated last year
• balrog-ai / BALROG
  Benchmarking Agentic LLM and VLM Reasoning On Games
  ☆204Updated 2 months ago
• mklissa / maestromotif
  Skill Design From AI Feedback
  ☆31Updated 8 months ago
• google-deepmind / neural_networks_solomonoff_induction
  Learning Universal Predictors
  ☆79Updated last year
• nathanael-fijalkow / DeepSynth
  General-purpose program synthesiser
  ☆48Updated last year
• aig-upf / tarski
  Tarski - An AI Planning Modeling Framework
  ☆71Updated last year