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
• NetHack-LE / nle
  The NetHack Learning Environment
  ☆96Updated this week
• samacqua / LARC
  Language-annotated Abstraction and Reasoning Corpus
  ☆98Updated 2 years ago
• victorvikram / ConceptARC
  Materials for ConceptARC paper
  ☆109Updated last year
• gpoesia / minimo
  Learning Formal Mathematics from Intrinsic Motivation
  ☆36Updated 5 months ago
• cmu-l3 / ntptutorial-II
  Neural theorem proving tutorial, version II
  ☆40Updated last year
• khalil-research / ARGA-AAAI23
  Abstract Reasoning with Graph Abstractions (ARGA) implementation
  ☆61Updated last year
• mlb2251 / stitch
  A scalable abstraction learning library
  ☆83Updated 3 months ago
• daios-ai / mindscript
  A programming language for formal/informal computation.
  ☆42Updated 4 months ago
• upiterbarg / diff_history
  [ICML 2024] Official code release accompanying the paper "diff History for Neural Language Agents" (Piterbarg, Pinto, Fergus)
  ☆20Updated last year
• clement-bonnet / lpn
  Latent Program Network (from the "Searching Latent Program Spaces" paper)
  ☆106Updated 3 weeks ago
• google-research / crossbeam
  ☆44Updated 2 years ago
• you68681 / GPAR
  ☆23Updated last year
• maxencefaldor / omni-epic
  OMNI-EPIC: Open-endedness via Models of human Notions of Interestingness with Environments Programmed in Code (ICLR 2025).
  ☆71Updated 11 months ago
• Metta-AI / metta
  A reinforcement learning codebase focusing on the emergence of cooperation and alignment in multi-agent AI systems.
  ☆134Updated this week
• ConfeitoHS / arcle
  A Gymnasium-based Environment of the Abstraction and Reasoning Corpus (ARC)
  ☆69Updated last year
• imbue-ai / carbs
  Cost aware hyperparameter tuning algorithm
  ☆176Updated last year
• facebookresearch / LeanUniverse
  LeanUniverse: A Library for Consistent and Scalable Lean4 Dataset Management
  ☆75Updated 11 months ago
• probcomp / LLaMPPL
  A domain-specific probabilistic programming language for modeling and inference with language models
  ☆138Updated 7 months ago
• maciej-sypetkowski / autoascend
  The first place solution for the NeurIPS 2021 Nethack Challenge -- https://www.aicrowd.com/challenges/neurips-2021-the-nethack-challenge
  ☆60Updated 2 years ago
• lowrollr / turbozero
  fast + parallel AlphaZero in JAX
  ☆107Updated 11 months ago
• iglu-contest / gridworld
  A reinforcement learning environment for the IGLU 2022 at NeurIPS
  ☆34Updated 2 years ago
• znah / zff
  8-bit computational substrates
  ☆46Updated last year
• louiskirsch / vsml-neurips2021
  Code for "Meta Learning Backpropagation And Improving It" @ NeurIPS 2021 https://arxiv.org/abs/2012.14905
  ☆33Updated 3 years ago
• upiterbarg / lintseq
  [ICLR 2025] "Training LMs on Synthetic Edit Sequences Improves Code Synthesis" (Piterbarg, Pinto, Fergus)
  ☆19Updated 10 months ago
• sethkarten / pokechamp
  Official repository of the spotlight ICML 2025 paper, PokeChamp: an Expert-level Minimax Language Agent.
  ☆131Updated last month
• flowersteam / vivarium
  Multi-agent simulator in Jax for research and teaching in AI & ALife
  ☆29Updated 2 weeks ago
• luchris429 / JaxLife
  An Open-Ended Agentic Simulator
  ☆56Updated last year
• etimush / ARC_NCA
  Repo for solving arc problems with an Neural Cellular Automata
  ☆22Updated 7 months ago
• andyljones / boardlaw
  Scaling scaling laws with board games.
  ☆54Updated 2 years ago