a categorical deep learning compiler
☆31Jun 10, 2026Updated 2 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 2 weeks ago
- a datastructure for scalable combinatorial syntax☆20Feb 28, 2025Updated last year
- string diagrams for the working programmer☆15Jul 17, 2023Updated 3 years ago
- 👾 my foundry framework and detailed solutions for each ethernaut level☆20Oct 15, 2024Updated last year
- 👾 notes and resources on applied cryptography for decentralized protocols, both for privacy and optimization (e.g., zk, tees, fhe, mpc, …☆24Dec 2, 2025Updated 8 months ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Distributed object-capability authorization with ZK proofs☆29Updated this week
- A great starting point for building a p5.js project☆12Aug 16, 2014Updated 11 years ago
- Concurrency features for the Haskell machines package☆16Mar 11, 2022Updated 4 years ago
- Existential witnesses, singletons, and classes for operations on GHC TypeLits☆16Jul 25, 2024Updated 2 years ago
- Navier-Stokes implementation for Processing based on Jos Stam work☆13Feb 1, 2019Updated 7 years ago
- ☆11Nov 5, 2015Updated 10 years ago
- Saber Nix overlay.☆17Sep 17, 2024Updated last year
- Formalization of category theory in Agda☆17Feb 20, 2023Updated 3 years ago
- Jekyll multi-books generator☆10Jun 19, 2021Updated 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.
- An experimental IDE for solid modeling with distance fields☆31Jun 13, 2026Updated last month
- Package aoe implements an ATA over Ethernet server, as described in the AoEr11 specification. MIT Licensed.☆13Nov 7, 2016Updated 9 years ago
- A highly opinionated Rust embedded application server for RESTy APIs☆25Aug 2, 2026Updated last week
- Notebooks showing how to use CryptoUtilities☆14Apr 17, 2025Updated last year
- Framework for type-safe pure functional and non-cubical tensor processing, written in Idris 2☆45Jul 6, 2026Updated last month
- Scalafix Rewrites for Scala☆10Oct 5, 2021Updated 4 years ago
- ☆118Dec 1, 2024Updated last year
- ☆24Updated this week
- Library implementation of "Generic description of well-scoped, well-typed syntaxes"☆12Mar 25, 2018Updated 8 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆29May 26, 2026Updated 2 months ago
- Production-ready ternary quantized (1.58-bit) Rust code generation model with mHC-lite, MaxRL training, and comprehensive benchmarking☆22Aug 2, 2026Updated last week
- Rust abstractions for multi-platform native authentication (biometric, fingerprint, password, FaceID, TouchID etc)☆17Jul 7, 2025Updated last year
- Official repository for CoTran: An LLM-based code translator for whole-program translation, fine-tuned using feedback from compiler and s…☆16Nov 6, 2024Updated last year
- (ACL 2025 Main) Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective Step-aware Formal Verification - Offici…☆21Dec 26, 2025Updated 7 months ago
- Verified Optimizing Compiler for Cryptographic Primitives☆40Jun 9, 2026Updated 2 months ago
- ☆19Apr 2, 2026Updated 4 months ago
- ☆20Mar 11, 2026Updated 4 months ago
- Virtual cockpit for UAVs☆12Feb 13, 2017Updated 9 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A playground for Nix and CUDA☆21Jan 10, 2026Updated 7 months ago
- Experiments with some ways of automating reasoning in lean 4☆19Apr 20, 2024Updated 2 years ago
- 📱 A minimal, clean client for Hashnode☆12Jul 8, 2021Updated 5 years ago
- zkLean is a domain specific language (DSL) in Lean for specifying zero-knowledge statements☆35May 4, 2026Updated 3 months ago
- ☆17Aug 11, 2025Updated last year
- Lean Companion to Axler's Linear Algebra Done Right☆22Updated this week
- Decentralised Privacy-Preserving Contact Discovery☆18Jul 4, 2023Updated 3 years ago