a categorical deep learning compiler
☆38Jun 10, 2026Updated 4 months ago
Alternatives and similar repositories for catgrad
Users that are interested in catgrad are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- a datastructure for scalable combinatorial syntax☆25Jul 23, 2026Updated 3 months ago
- a datastructure for scalable combinatorial syntax☆20Feb 28, 2025Updated last year
- 👾 my foundry framework and detailed solutions for each ethernaut level☆20Oct 15, 2024Updated 2 years ago
- string diagrams for the working programmer☆16Jul 17, 2023Updated 3 years ago
- a categorical deep learning compiler☆209Sep 29, 2025Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Lean 4 library for polynomial functors, interaction trees, and frameworks for modeling interactive and effectful protocols☆18Oct 26, 2026Updated last week
- ☆35Jul 20, 2026Updated 3 months ago
- Coinductive Interaction Trees in Lean4 using QPFs☆20Oct 18, 2026Updated 2 weeks ago
- Framework for type-safe pure functional and non-cubical tensor processing, written in Idris 2☆49Oct 12, 2026Updated 3 weeks ago
- Learn Lean 4 by fixing 70 small exercises, one at a time☆27Sep 8, 2026Updated last month
- Transformers training in a supercomputer with the 🤗 Stack and Slurm☆15May 9, 2024Updated 2 years ago
- Proofs written in Lean4 for the core katydid validation algorithm☆18Sep 17, 2025Updated last year
- Distributed object-capability authorization with ZK proofs☆38Oct 2, 2026Updated last month
- ☆15Jun 20, 2025Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- papers on relational programming by bruce j maclennan☆10Oct 8, 2026Updated 3 weeks ago
- MXFP4-compatible 4-bit floating point types and block formats for Rust.☆12Mar 4, 2026Updated 7 months ago
- (Lean)DOOM: a native Lean 4 DOOM engine with original-WAD support and kernel-checked movement and autoaim proofs.☆21Oct 23, 2026Updated last week
- ☆14Updated this week
- ☆12Aug 13, 2025Updated last year
- Lens of Aeson☆13Feb 14, 2013Updated 13 years ago
- Micrograd in Zig☆10Dec 10, 2023Updated 2 years ago
- ☆11Mar 23, 2026Updated 7 months ago
- Vermilion: Verus meets Lean☆63Updated this week
- 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.
- ☆32Oct 16, 2026Updated 2 weeks ago
- A self-verifying, self-improving Place for an AI to live within: an untrusted inhabitant acts through a machine-checked policy envelope w…☆19Sep 26, 2026Updated last month
- Lean 4 port of Iris, a higher-order concurrent separation logic framework☆14Jul 29, 2026Updated 3 months ago
- Rust library for ZKBoogie, ZKBoo-based ZKP scheme optimized for client-side proving and its recursion.☆11Jun 5, 2024Updated 2 years ago
- Concurrency features for the Haskell machines package☆16Mar 11, 2022Updated 4 years ago
- Small TS library to type and safely handle `serde` JSON serializations of Rust enums.☆12Nov 14, 2024Updated last year
- Weiroll planner for ethers-rs☆16Apr 19, 2023Updated 3 years ago
- Scalafix Rewrites for Scala☆10Oct 5, 2021Updated 5 years ago
- Formal Lean proof of OpenAI's 2026 counterexample to the Erdős unit distance conjecture☆21Jun 27, 2026Updated 4 months ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Decentralized crowd-curated Reddit clone built on IPFS☆11Apr 21, 2017Updated 9 years ago
- ☆15Updated this week
- Notebooks showing how to use CryptoUtilities☆14Apr 17, 2025Updated last year
- Flatmark SSG☆14Updated this week
- ☆14Oct 14, 2020Updated 6 years ago
- End-to-end formally verified solvers for the isothermal Euler and full compressible Euler equations in 1D, 2D, and 3D.☆14Aug 10, 2026Updated 2 months ago
- Co-inductive datatypes for Lean☆18Updated this week