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
Sorting:
- ☆18Aug 24, 2024Updated last year
- This repository contains the Parasol processor, which enables next-generation privacy preserving applications. Users can run arbitrary co…☆11Feb 25, 2026Updated last week
- a datastructure for scalable combinatorial syntax☆20Feb 28, 2025Updated last year
- LLM plugin to generate plugins for LLM☆13Dec 30, 2024Updated last year
- Code for "What really matters in matrix-whitening optimizers?"☆22Oct 31, 2025Updated 4 months ago
- Testing flow matching in Euclidean space and Lie groups.☆13Feb 27, 2026Updated last week
- Web app for interviewing technical candidates in the browser☆162Dec 23, 2013Updated 12 years ago
- AI for Mathematics Paper List☆17Jan 14, 2025Updated last year
- It's a baby compiler. (Lean btw.)☆16May 19, 2025Updated 9 months ago
- Python wrapper for lean-gym☆12Apr 5, 2023Updated 2 years ago
- https://hf.co/hexgrad/Kokoro-82M☆14Jan 14, 2026Updated last month
- Symbolic Geometric Algebra with E-Graphs☆19Oct 11, 2023Updated 2 years ago
- convert a saved pytorch model to gguf and generate as much corresponding ggml c code as possible☆15Dec 19, 2023Updated 2 years ago
- Class of data structures that can be unfolded.☆22Jan 6, 2026Updated 2 months ago
- An implementation of squared neural families in PyTorch☆14Oct 22, 2024Updated last year
- Fork of Flame repo for training of some new stuff in development☆19Feb 27, 2026Updated last week
- Plain-text declaration export for Lean 4☆26Feb 26, 2026Updated last week
- Yet another minimalist deep-learning framework optimized for inference☆36Updated this week
- ☆16Jul 3, 2023Updated 2 years ago
- Sparse Mixture of Learned Kernels for Interpretable and Efficient PPG Signal Quality Assessment and Artifact Segmentation☆22Jan 6, 2025Updated last year
- ☆20Oct 15, 2021Updated 4 years ago
- For Jar artifacts☆20Nov 8, 2025Updated 3 months ago
- ☆20Oct 25, 2025Updated 4 months ago
- ☆87Oct 22, 2024Updated last year
- ☆52Jul 18, 2024Updated last year
- Interactive visualizer for e-graphs☆28Jan 13, 2026Updated last month
- ☆19Sep 26, 2023Updated 2 years ago
- An LLVM interface for Lean 4. (WIP)☆26Aug 1, 2023Updated 2 years ago
- ☆126Aug 6, 2024Updated last year
- When Reasoning Meets Its Laws☆35Jan 2, 2026Updated 2 months ago
- Implementation of approximate free-energy minimization in PyTorch☆21Oct 16, 2021Updated 4 years ago
- Synthetic data generation and benchmark implementation for "Episodic Memories Generation and Evaluation Benchmark for Large Language Mode…☆63Oct 3, 2025Updated 5 months ago
- A game introducing proofs, dependent type theory, and Lean prepared for a first year seminar course at Johns Hopkins in Fall 2025.☆55Dec 29, 2025Updated 2 months ago
- NXP Platform Accelerator for i.MXRT595 EVK☆11Jun 30, 2025Updated 8 months ago
- ☆26Mar 9, 2022Updated 3 years ago
- ☆39Oct 31, 2025Updated 4 months ago
- The Benefits of a Concise Chain of Thought on Problem Solving in Large Language Models☆24Nov 25, 2024Updated last year
- Codebase for Context-aware Meta-learned Loss Scaling (CaMeLS). https://arxiv.org/abs/2305.15076.☆25Jan 23, 2024Updated 2 years ago
- ☆63Oct 3, 2024Updated last year