Alternatives and similar repositories for hch:

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

• oughtinc / patchwork
  Command-line recursive question-answering with immutable contexts and explicit data store
  ☆25Updated 6 years ago
• moirage / alignment-research-dataset
  A dataset of alignment research and code to reproduce it
  ☆77Updated last year
• oughtinc / mosaic
  A web app for recursive question-answering with pointers
  ☆38Updated 2 years ago
• bshlgrs / consciousness
  A software agent illustrating some features of an illusionist account of consciousness
  ☆14Updated 7 years ago
• paulfchristiano / amplification
  ☆9Updated 5 years ago
• jbkjr / train-procgen-pytorch
  Pytorch implementation on OpenAI's Procgen ppo-baseline, built from scratch.
  ☆14Updated 11 months ago
• google-deepmind / cartesian-frames
  A formalisation of Cartesian Frames, a perspective on embedded agency, in the HOL theorem prover.
  ☆19Updated 3 years ago
• StampyAI / stampy
  A Discord bot for the Robert Miles AI server
  ☆38Updated 2 months ago
• alexander-turner / attainable-utility-preservation
  ☆12Updated 3 years ago
• g-leech / argmin-gravitas
  a simulacrum standing in place of Gavin Leech
  ☆16Updated 2 weeks ago
• gpoesia / peano
  An environment for learning formal mathematical reasoning from scratch
  ☆66Updated 8 months ago
• TomFrederik / unseal
  Mechanistic Interpretability for Transformer Models
  ☆50Updated 2 years ago
• dbigham / ARC
  Abstraction and Reasoning Corpus
  ☆14Updated 2 years ago
• socketteer / hallucinator
  botttom-up vr redux
  ☆24Updated 3 years ago
• timaeus-research / devinterp
  Tools for studying developmental interpretability in neural networks.
  ☆89Updated 3 months ago
• samacqua / LARC
  Language-annotated Abstraction and Reasoning Corpus
  ☆86Updated last year
• dwhalen / holophrasm
  Holophrasm: a neural Automated Theorem Prover for higher-order logic
  ☆55Updated 5 years ago
• victorvikram / ConceptARC
  Materials for ConceptARC paper
  ☆92Updated 6 months ago
• mlb2251 / stitch
  A scalable abstraction learning library
  ☆78Updated last year
• barakeel / oeis-synthesis
  ☆23Updated last month
• EshaanAgg / Research-Literature-Manager
  A simple way to manage and store the data related to all your research papers!
  ☆17Updated 2 years ago
• anthropics / PySvelte
  A library for bridging Python and HTML/Javascript (via Svelte) for creating interactive visualizations
  ☆188Updated 3 years ago
• piantado / Fleet
  ☆61Updated 4 months ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆38Updated last year
• google-research / crossbeam
  ☆43Updated 2 years ago
• argolab / dyna-R
  Dyna built on R-exprs (First Prototype)
  ☆15Updated 3 years ago
• sztal / pybdm
  Python implementation of block decomposition method for approximating algorithmic complexity
  ☆36Updated 9 months ago
• arc-community / arc-generative-DSL-infinite-data
  slowly building a set of infinite riddle generators for data-hungry methods
  ☆12Updated 2 years ago
• apple / ml-np-rasp
  ☆19Updated last year
• Kiv / fancy_einsum
  Einsum with einops style variable names
  ☆16Updated 11 months ago