Alternatives and similar repositories for Algebraic-NCD

Users that are interested in Algebraic-NCD are comparing it to the libraries listed below

• adamnemecek / traceoid.ai
  ☆96Updated 7 months ago
• okarthikb / state-space-models
  ☆27Updated last year
• xjdr-alt / simple_transformer
  Simple Transformer in Jax
  ☆138Updated last year
• akarshkumar0101 / fer
  Code for the Fractured Entangled Representation Hypothesis position paper!
  ☆128Updated last month
• clement-bonnet / lpn
  Latent Program Network (from the "Searching Latent Program Spaces" paper)
  ☆91Updated 4 months ago
• xjdr-alt / llmri
  look how they massacred my boy
  ☆63Updated 8 months ago
• statusfailed / catgrad
  a categorical deep learning compiler
  ☆203Updated 4 months ago
• francoisfleuret / picogpt
  Minimal GPT (~350 lines with a simple task to test it)
  ☆62Updated 7 months ago
• facebookresearch / LeanUniverse
  LeanUniverse: A Library for Consistent and Scalable Lean4 Dataset Management
  ☆69Updated 6 months ago
• modula-systems / modula
  🧱 Modula software package
  ☆204Updated 3 months ago
• joey00072 / microjax
  Jax like function transformation engine but micro, microjax
  ☆33Updated 8 months ago
• xjdr-alt / muzero_sketch
  ☆38Updated 11 months ago
• wellecks / transformers4math-simons
  Transformers for Mathematics Tutorial | Simons/SLMath Workshop on AI for Mathematics 2025
  ☆35Updated 3 months ago
• vandijklab / Intelligence_at_the_edge_of_chaos
  ☆54Updated 4 months ago
• google-deepmind / mishax
  ☆134Updated 3 months ago
• srush / raspy
  An interactive exploration of Transformer programming.
  ☆265Updated last year
• keyonvafa / world-model-evaluation
  ☆56Updated 8 months ago
• neoneye / ARC-Interactive-History-Dataset
  The history files when recording human interaction while solving ARC tasks
  ☆113Updated this week
• HEmile / neurosymbolic-diffusion
  We integrate discrete diffusion models with neurosymbolic predictors for scalable and calibrated learning and reasoning
  ☆39Updated last month
• cmu-l3 / llmlean
  LLMs + Lean, on your laptop or in the cloud
  ☆168Updated last month
• VatsaDev / NanoPoor
  NanoGPT-speedrunning for the poor T4 enjoyers
  ☆68Updated 2 months ago
• yashbonde / rasp
  Implementing RASP transformer programming language https://arxiv.org/pdf/2106.06981.pdf.
  ☆56Updated 3 years ago
• KhoomeiK / complexity-scaling
  gzip Predicts Data-dependent Scaling Laws
  ☆35Updated last year
• neurallambda / neurallambda
  Reasoning Computers. Lambda Calculus, Fully Differentiable. Also Neural Stacks, Queues, Arrays, Lists, Trees, and Latches.
  ☆264Updated 8 months ago
• LucasPrietoAl / grokking-at-the-edge-of-numerical-stability
  ☆98Updated 5 months ago
• iliao2345 / CompressARC
  ☆164Updated 3 months ago
• uzulim / hades
  Fast singularity detection with kernel
  ☆33Updated last year
• morph-labs / lean-abc-true-almost-always
  ☆74Updated last month
• lean-dojo / LeanAgent
  LeanAgent is a novel lifelong learning framework for formal theorem proving that continuously generalizes to and improves on ever-expandi…
  ☆27Updated last month
• HazyResearch / train-tk
  train with kittens!
  ☆61Updated 8 months ago