A package for defining deep learning models using categorical algebraic expressions.
☆61Jul 27, 2024Updated last year
Alternatives and similar repositories for Algebraic-NCD
Users that are interested in Algebraic-NCD are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Testing flow matching in Euclidean space and Lie groups.☆13Mar 18, 2026Updated last month
- Code for "What really matters in matrix-whitening optimizers?"☆23Oct 31, 2025Updated 6 months ago
- AI for Mathematics Paper List☆17Jan 14, 2025Updated last year
- Symbolic Geometric Algebra with E-Graphs☆20May 2, 2026Updated last week
- ☆18Aug 24, 2024Updated last year
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- A toolkit for higher-dimensional diagram rewriting.☆21Sep 15, 2022Updated 3 years ago
- It's a baby compiler. (Lean btw.)☆16May 19, 2025Updated 11 months ago
- A plugin for Strawberry Fields and OpenFermion, providing methods of simulating bosonic Hamiltonians directly in Strawberry Fields☆32Jul 6, 2023Updated 2 years ago
- LLM plugin to generate plugins for LLM☆13Dec 30, 2024Updated last year
- ☆18Dec 2, 2024Updated last year
- convert a saved pytorch model to gguf and generate as much corresponding ggml c code as possible☆15Dec 19, 2023Updated 2 years ago
- Python wrapper for lean-gym☆13Apr 5, 2023Updated 3 years ago
- Fork of Flame repo for training of some new stuff in development☆19Apr 24, 2026Updated 2 weeks ago
- ☆11Feb 9, 2024Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- How to read Lean☆25Jan 30, 2025Updated last year
- ☆89Oct 22, 2024Updated last year
- Cloud Queue for Quantum Devices☆14Jan 5, 2026Updated 4 months ago
- ☆15Apr 14, 2025Updated last year
- Quantum Operators from SYmmetry☆10Jul 5, 2020Updated 5 years ago
- Qutes - A high level programming language for quantum computing.☆14Feb 15, 2026Updated 2 months ago
- uQ - an embedded quantum simulator☆21Jul 13, 2023Updated 2 years ago
- Screened poisson reconstruction algorithm written in Rust☆39Apr 16, 2026Updated 3 weeks ago
- ☆13Aug 17, 2020Updated 5 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Distributed Memory DMRG with ITensor like interface. Uses CTF for dense/sparse tensors manipulation; HDF5 storage.☆11Oct 26, 2020Updated 5 years ago
- An implementation of squared neural families in PyTorch☆14Oct 22, 2024Updated last year
- Fast tensor disentangling algorithm☆10Jun 4, 2021Updated 4 years ago
- A game introducing proofs, dependent type theory, and Lean prepared for a first year seminar course at Johns Hopkins in Fall 2025.☆58Apr 23, 2026Updated 2 weeks ago
- Implementation of approximate free-energy minimization in PyTorch☆21Oct 16, 2021Updated 4 years ago
- Game in Haskell☆15Apr 30, 2026Updated last week
- For Jar artifacts☆20Nov 8, 2025Updated 6 months ago
- A docker container skeleton for Flask micro-services☆11Mar 25, 2021Updated 5 years ago
- The simplest, fastest repository for training/finetuning medium-sized xLSTMs.☆41May 24, 2024Updated last year
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Matlab interface for SCS☆13Apr 13, 2026Updated 3 weeks ago
- Rethinking the Trust Region in LLM Reinforcement Learning☆53Mar 2, 2026Updated 2 months ago
- Code repository for the paper "MrT5: Dynamic Token Merging for Efficient Byte-level Language Models."☆58Sep 25, 2025Updated 7 months ago
- Examples and support libraries for the amdgpu Rust target☆17Dec 4, 2025Updated 5 months ago
- ☆70Jun 26, 2024Updated last year
- The Benefits of a Concise Chain of Thought on Problem Solving in Large Language Models☆25Nov 25, 2024Updated last year
- World-Gymnast: Training Robots with Reinforcement Learning in a World Model☆34Feb 11, 2026Updated 2 months ago