joelburget / microjaxLinks
A tiny autograd engine with a Jax-like API
☆74Updated 7 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☆125Updated 9 months ago
- DiscoGrad - automatically differentiate across conditional branches in C++ programs☆209Updated last year
- R.L. methods and techniques.☆199Updated 2 weeks ago
- ☆251Updated last year
- Proof of thought : LLM-based reasoning using Z3 theorem proving with multiple backend support (SMT2 and JSON DSL)☆364Updated 3 months ago
- Tensor library & inference framework for machine learning☆117Updated 4 months ago
- ☆47Updated 10 months ago
- ☆69Updated 3 months ago
- VortexNet: Neural Computing through Fluid Dynamics☆47Updated last year
- Heirarchical Navigable Small Worlds☆102Updated 6 months ago
- Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …☆79Updated 6 months ago
- ☆36Updated this week
- time to learn mlx☆42Updated 4 months ago
- Code for the Fractured Entangled Representation Hypothesis position paper!☆221Updated 3 months ago
- A playground to make it easy to try crazy things☆33Updated 2 months ago
- Live-bending a foundation model’s output at neural network level.☆273Updated 10 months ago
- An interactive HTML pretty-printer for machine learning research in IPython notebooks.☆458Updated 6 months ago
- ☆200Updated 9 months ago
- Train neural networks that distill into logic circuits, using JAX☆64Updated 8 months ago
- ☆180Updated 2 months ago
- A library for reproducible deep learning.☆84Updated 2 months ago
- Algebraic enhancements for GEMM & AI accelerators☆287Updated 11 months ago
- A pure NumPy implementation of Mamba.☆222Updated last year
- A MCP server for symbolic manipulation of mathematical expressions☆53Updated 7 months ago
- A package for defining deep learning models using categorical algebraic expressions.☆61Updated last year
- ☆258Updated 11 months ago
- Implement recursion using English as the programming language and an LLM as the runtime.☆240Updated 2 years ago
- Grow virtual creatures in static and physics simulated environments.☆53Updated last year
- Editor with LLM generation tree exploration☆83Updated 11 months ago
- This is a framework that implements various parallel reasoning strategies from the literature☆275Updated last month