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
  ☆95Updated 6 months ago
• facebookresearch / LeanUniverse
  LeanUniverse: A Library for Consistent and Scalable Lean4 Dataset Management
  ☆64Updated 4 months ago
• okarthikb / state-space-models
  ☆27Updated 10 months ago
• francoisfleuret / picogpt
  Minimal GPT (~350 lines with a simple task to test it)
  ☆61Updated 5 months ago
• statusfailed / catgrad
  a categorical deep learning compiler
  ☆200Updated 3 months ago
• xjdr-alt / llmri
  look how they massacred my boy
  ☆63Updated 7 months ago
• vandijklab / Intelligence_at_the_edge_of_chaos
  ☆53Updated 3 months ago
• akarshkumar0101 / fer
  Code for the Fractured Entangled Representation Hypothesis position paper!
  ☆94Updated 2 weeks ago
• lean-dojo / LeanAgent
  LeanAgent is a novel lifelong learning framework for formal theorem proving that continuously generalizes to and improves on ever-expandi…
  ☆26Updated last month
• yashbonde / rasp
  Implementing RASP transformer programming language https://arxiv.org/pdf/2106.06981.pdf.
  ☆53Updated 3 years ago
• clement-bonnet / lpn
  Latent Program Network (from the "Searching Latent Program Spaces" paper)
  ☆84Updated 2 months ago
• cgarciae / einop
  ☆60Updated 3 years ago
• wellecks / transformers4math-simons
  Transformers for Mathematics Tutorial | Simons/SLMath Workshop on AI for Mathematics 2025
  ☆33Updated last month
• xjdr-alt / muzero_sketch
  ☆38Updated 10 months ago
• xjdr-alt / simple_transformer
  Simple Transformer in Jax
  ☆137Updated 11 months ago
• Pleias / Quest-Best-Tokens
  An introduction to LLM Sampling
  ☆78Updated 5 months ago
• google-deepmind / debate
  Formalizing stochastic doubly-efficient debate
  ☆105Updated 7 months ago
• cmu-l3 / llmlean
  LLMs + Lean, on your laptop or in the cloud
  ☆154Updated last month
• saurabhaloneai / Llama-3-From-Scratch-In-Pure-Jax
  This repository contain the simple llama3 implementation in pure jax.
  ☆64Updated 3 months ago
• misko / human_descent
  ☆36Updated 5 months ago
• srush / Tensor-Puzzles-Penzai
  ☆20Updated last year
• VatsaDev / NanoPoor
  NanoGPT-speedrunning for the poor T4 enjoyers
  ☆66Updated last month
• LiibanMo / scikit-jax
  Your favourite classical machine learning algos on the GPU/TPU
  ☆20Updated 4 months ago
• LucasPrietoAl / grokking-at-the-edge-of-numerical-stability
  ☆95Updated 4 months ago
• fraware / leanverifier
  Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …
  ☆62Updated 2 months ago
• neoneye / ARC-Interactive-History-Dataset
  The history files when recording human interaction while solving ARC tasks
  ☆110Updated last week
• modula-systems / modula
  🧱 Modula software package
  ☆194Updated 2 months ago
• dvruette / barrel-rec-pytorch
  ☆53Updated last year
• AllanYangZhou / universal_neural_functional
  ☆51Updated last year
• PrimeIntellect-ai / pi-quant
  SIMD quantization kernels
  ☆65Updated last week