joelburget / microjaxLinks
A tiny autograd engine with a Jax-like API
☆74Updated 3 months ago
Alternatives and similar repositories for microjax
Users that are interested in microjax are comparing it to the libraries listed below
Sorting:
- Pytorch script hot swap: Change code without unloading your LLM from VRAM☆124Updated 6 months ago
- R.L. methods and techniques.☆200Updated 11 months ago
- Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …☆66Updated 2 months ago
- time to learn mlx☆40Updated last month
- Tensor library & inference framework for machine learning☆113Updated 3 weeks ago
- ☆47Updated 6 months ago
- DiscoGrad - automatically differentiate across conditional branches in C++ programs☆207Updated last year
- ☆34Updated last month
- ☆248Updated last year
- VortexNet: Neural Computing through Fluid Dynamics☆43Updated 9 months ago
- Proof of thought : LLM-based reasoning using Z3 theorem proving with multiple backend support (SMT2 and JSON DSL)☆342Updated last week
- ☆170Updated 3 months ago
- Code for the Fractured Entangled Representation Hypothesis position paper!☆201Updated 5 months ago
- ☆67Updated last week
- ☆234Updated 7 months ago
- A star for organising blocks and playing with transformers.☆23Updated last year
- A package for defining deep learning models using categorical algebraic expressions.☆61Updated last year
- Heirarchical Navigable Small Worlds☆101Updated 2 months ago
- Live-bending a foundation model’s output at neural network level.☆267Updated 6 months ago
- ☆443Updated last month
- A pure NumPy implementation of Mamba.☆223Updated last year
- a categorical deep learning compiler☆204Updated 3 weeks ago
- A playground to make it easy to try crazy things☆33Updated last week
- Absolute minimalistic implementation of a GPT-like transformer using only numpy (<650 lines).☆254Updated last year
- Build data processing and data analysis pipelines that leverage the power of LLMs 🧠☆226Updated this week
- Train neural networks that distill into logic circuits, using JAX☆62Updated 4 months ago
- Bayesian Optimization as a Coverage Tool for Evaluating LLMs. Accurate evaluation (benchmarking) that's 10 times faster with just a few l…☆286Updated last month
- Dead Simple LLM Abliteration☆232Updated 8 months ago
- A Full Transcript of the Lighthill Debate on AI from 1973, with Introductory Remarks☆33Updated last year
- High-Performance Klong array language in Python.☆311Updated last month