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 5 months ago
- a datastructure for scalable combinatorial syntax☆20Feb 28, 2025Updated last year
- ☆10Oct 22, 2024Updated last year
- ☆15Jan 23, 2025Updated last year
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- AI for Mathematics Paper List☆17Jan 14, 2025Updated last year
- Symbolic Geometric Algebra with E-Graphs☆19Oct 11, 2023Updated 2 years ago
- A collection of various llm pruning implementations, training code for GPUs & TPUs, and evaluation script.☆63Feb 18, 2026Updated 2 months ago
- ☆18Aug 24, 2024Updated last year
- A toolkit for higher-dimensional diagram rewriting.☆21Sep 15, 2022Updated 3 years ago
- a categorical deep learning compiler☆209Sep 29, 2025Updated 6 months ago
- It's a baby compiler. (Lean btw.)☆16May 19, 2025Updated 10 months ago
- Class of data structures that can be unfolded.☆22Jan 6, 2026Updated 3 months ago
- ☆18Dec 2, 2024Updated last year
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Finite state machines as graphs☆60Jun 23, 2020Updated 5 years ago
- Fork of Flame repo for training of some new stuff in development☆19Updated this week
- ☆11Feb 9, 2024Updated 2 years ago
- How to read Lean☆24Jan 30, 2025Updated last year
- Canonical normalizing flows☆10Apr 30, 2019Updated 6 years ago
- ☆87Oct 22, 2024Updated last year
- https://hf.co/hexgrad/Kokoro-82M☆14Jan 14, 2026Updated 3 months ago
- Qutes - A high level programming language for quantum computing.☆14Feb 15, 2026Updated 2 months ago
- Implementation for Proximal Neural Networks.☆11Sep 17, 2021Updated 4 years ago
- Deploy open-source AI quickly and easily - Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- ☆13Aug 17, 2020Updated 5 years ago
- Learning Algebraic Representation for Systematic Generalization in Abstract Reasoning☆11Jul 20, 2022Updated 3 years ago
- A game introducing proofs, dependent type theory, and Lean prepared for a first year seminar course at Johns Hopkins in Fall 2025.☆57Dec 29, 2025Updated 3 months ago
- Implementation of approximate free-energy minimization in PyTorch☆21Oct 16, 2021Updated 4 years ago
- Inline Haskell inside your Python code☆25Mar 12, 2026Updated last month
- For Jar artifacts☆20Nov 8, 2025Updated 5 months ago
- The simplest, fastest repository for training/finetuning medium-sized xLSTMs.☆41May 24, 2024Updated last year
- ☆68Jun 26, 2024Updated last year
- The Benefits of a Concise Chain of Thought on Problem Solving in Large Language Models☆25Nov 25, 2024Updated last year
- 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.
- Interactive visualizer for e-graphs☆28Jan 13, 2026Updated 3 months ago
- ☆20Oct 25, 2025Updated 5 months ago
- ☆40Oct 31, 2025Updated 5 months ago
- Formalization of Statement of Local Langlands Correspondence for Tori☆12Dec 18, 2018Updated 7 years ago
- A TensorFlow 2 Keras implementation of TabNets.☆13Feb 21, 2022Updated 4 years ago
- ☆53Jul 18, 2024Updated last year
- Official implementation of Categorical Flow Maps on text.☆51Feb 16, 2026Updated 2 months ago