A package for defining deep learning models using categorical algebraic expressions.
☆61Jul 27, 2024Updated 2 years ago
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:
- Deriving steepest descent convergence bounds and hyperparameter scaling laws in machine learning optimization from first principles, form…☆17Apr 11, 2026Updated 6 months ago
- Michael Spivak's Calculus formalized in Lean 4: every theorem and every problem of all 30 chapters and 9 appendices, in both the 3rd and …☆45Sep 26, 2026Updated 3 weeks ago
- A rust port of con-leche☆31Updated this week
- a datastructure for scalable combinatorial syntax☆20Feb 28, 2025Updated last year
- ☆15Jan 6, 2022Updated 4 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆18Aug 24, 2024Updated 2 years ago
- A toolkit for higher-dimensional diagram rewriting.☆21Sep 15, 2022Updated 4 years ago
- A model for high-frequency mathematical intelligence.☆150Oct 6, 2026Updated last week
- A plugin for Strawberry Fields and OpenFermion, providing methods of simulating bosonic Hamiltonians directly in Strawberry Fields☆32Jul 6, 2023Updated 3 years ago
- a categorical deep learning compiler☆209Sep 29, 2025Updated 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
- AI for Mathematics Paper List☆18Jan 14, 2025Updated last year
- LLM plugin to generate plugins for LLM☆13Dec 30, 2024Updated last year
- ☆16Jan 23, 2025Updated 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.
- ☆18Dec 2, 2024Updated last year
- Cloud Queue for Quantum Devices☆14Jan 5, 2026Updated 9 months ago
- Unstable egglog standard library.☆16Updated this week
- List of resources for learning Category Theory☆295Nov 26, 2024Updated last year
- Finite state machines as graphs☆60Jun 23, 2020Updated 6 years ago
- ☆11Feb 9, 2024Updated 2 years ago
- Fully connected neural nets for supervised learning DQMC data☆12Jul 13, 2016Updated 10 years ago
- Code for the paper "Large Language Models Share Representations of Latent Grammatical Concepts Across Typologically Diverse Languages" (N…☆17Apr 13, 2025Updated last year
- https://hf.co/hexgrad/Kokoro-82M☆14Jan 14, 2026Updated 9 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- A collection of various llm pruning implementations, training code for GPUs & TPUs, and evaluation script.☆75Apr 20, 2026Updated 5 months ago
- Python wrapper for lean-gym☆13Apr 5, 2023Updated 3 years ago
- Implementation for Proximal Neural Networks.☆11Sep 17, 2021Updated 5 years ago
- Class of data structures that can be unfolded.☆22Jan 6, 2026Updated 9 months ago
- An implementation of squared neural families in PyTorch☆14Oct 22, 2024Updated last year
- Implementation of approximate free-energy minimization in PyTorch☆21Oct 16, 2021Updated 5 years ago
- Hypergraph Minimum-Weight Parity Factor (MWPF) Algorithm for Decoding General Quantum LDPC Codes☆49Oct 2, 2026Updated 2 weeks ago
- ☆72Updated this week
- ☆27Oct 15, 2024Updated 2 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.
- This repository contains the Parasol processor, which enables next-generation privacy preserving applications. Users can run arbitrary co…☆16Jul 11, 2026Updated 3 months ago
- The Benefits of a Concise Chain of Thought on Problem Solving in Large Language Models☆26Nov 25, 2024Updated last year
- Parallel Computing starter project to build GPU & CPU kernels in CUDA & C++ and call them from Python without a single line of CMake usin…☆31Oct 14, 2025Updated last year
- A TensorFlow 2 Keras implementation of TabNets.☆13Feb 21, 2022Updated 4 years ago
- ☆20Jun 2, 2026Updated 4 months ago
- BisPy - Python bisimulation library☆17Jan 21, 2022Updated 4 years ago
- Game in Haskell☆17Oct 6, 2026Updated last week