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
  ☆107Updated 11 months ago
• xjdr-alt / simple_transformer
  Simple Transformer in Jax
  ☆139Updated last year
• okarthikb / state-space-models
  ☆28Updated last year
• statusfailed / catgrad
  a categorical deep learning compiler
  ☆204Updated last month
• joey00072 / microjax
  Jax like function transformation engine but micro, microjax
  ☆33Updated last year
• google-deepmind / alphaevolve_repository_of_problems
  ☆111Updated last week
• srush / raspy
  An interactive exploration of Transformer programming.
  ☆271Updated 2 years ago
• saurabhaloneai / Llama-3-From-Scratch-In-Pure-Jax
  This repository contain the simple llama3 implementation in pure jax.
  ☆70Updated 9 months ago
• uzulim / hades
  Fast singularity detection with kernel
  ☆37Updated last year
• neurallambda / neurallambda
  Reasoning Computers. Lambda Calculus, Fully Differentiable. Also Neural Stacks, Queues, Arrays, Lists, Trees, and Latches.
  ☆281Updated last year
• facebookresearch / LeanUniverse
  LeanUniverse: A Library for Consistent and Scalable Lean4 Dataset Management
  ☆74Updated 10 months ago
• clement-bonnet / lpn
  Latent Program Network (from the "Searching Latent Program Spaces" paper)
  ☆105Updated last month
• cmu-l3 / llmlean
  LLMs + Lean, on your laptop or in the cloud
  ☆192Updated last month
• akarshkumar0101 / fer
  Code for the Fractured Entangled Representation Hypothesis position paper!
  ☆206Updated last week
• vandijklab / Intelligence_at_the_edge_of_chaos
  ☆62Updated 8 months ago
• VatsaDev / NanoPoor
  NanoGPT-speedrunning for the poor T4 enjoyers
  ☆72Updated 6 months ago
• fraware / leanverifier
  Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …
  ☆71Updated 3 months ago
• google-deepmind / mishax
  ☆143Updated 2 months ago
• yashbonde / rasp
  Implementing RASP transformer programming language https://arxiv.org/pdf/2106.06981.pdf.
  ☆58Updated 2 weeks ago
• xjdr-alt / llmri
  look how they massacred my boy
  ☆63Updated last year
• modula-systems / modula
  🧱 Modula software package
  ☆303Updated 3 months ago
• KindXiaoming / grow-crystals
  Getting crystal-like representations with harmonic loss
  ☆192Updated 7 months ago
• haraschax / nograd
  Gradient descent is cool and all, but what if we could delete it?
  ☆104Updated 2 months ago
• HazyResearch / train-tk
  train with kittens!
  ☆63Updated last year
• wellecks / transformers4math-simons
  Transformers for Mathematics Tutorial | Simons/SLMath Workshop on AI for Mathematics 2025
  ☆41Updated 7 months ago
• xjdr-alt / muzero_sketch
  ☆40Updated last year
• lean-dojo / LeanAgent
  LeanAgent is a novel lifelong learning framework for formal theorem proving that continuously generalizes to and improves on ever-expandi…
  ☆42Updated 5 months ago
• LucasPrietoAl / grokking-at-the-edge-of-numerical-stability
  ☆105Updated 3 months ago
• zaydzuhri / softpick-attention
  Landing repository for the paper "Softpick: No Attention Sink, No Massive Activations with Rectified Softmax"
  ☆85Updated 2 months ago
• yk / llmvm
  ☆31Updated 2 years ago