a categorical deep learning compiler
☆33Jun 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☆26Jul 23, 2026Updated last month
- a datastructure for scalable combinatorial syntax☆20Feb 28, 2025Updated last year
- string diagrams for the working programmer☆15Jul 17, 2023Updated 3 years ago
- 👾 experimenting with steganography, astronomy, and art: a quick-and-dirty proof-of-concept using images from the hubble space telescope☆21Aug 13, 2026Updated 2 weeks ago
- Lean 4 tactic library for closing proofs across applied mathematics. Probability, statistics, biology, chemistry, economics, engineering,…☆17Jul 20, 2026Updated last month
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- 👾 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
- A great starting point for building a p5.js project☆12Aug 16, 2014Updated 12 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
- A decentralized noncensurable publishing platform for hackers, cypherpunks and journalists ✍️ 📜 🗞️ 💻.☆20Aug 9, 2026Updated 3 weeks ago
- ☆11Jul 2, 2024Updated 2 years ago
- Rust library for ZKBoogie, ZKBoo-based ZKP scheme optimized for client-side proving and its recursion.☆11Jun 5, 2024Updated 2 years ago
- An experimental IDE for solid modeling with distance fields☆33Jun 13, 2026Updated 2 months ago
- Small TS library to type and safely handle `serde` JSON serializations of Rust enums.☆11Nov 14, 2024Updated last year
- 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.
- Overcooked! 2 TAS Development Framework☆10Aug 18, 2023Updated 3 years ago
- Notebooks showing how to use CryptoUtilities☆14Apr 17, 2025Updated last year
- Displays VRChat avatars from your download cache on a Looking Glass display.☆14Mar 21, 2022Updated 4 years ago
- 🐼 Contributoor is a monitoring and data-gathering tool that helps improve Ethereum’s network visibility while running seamlessly alongsi…☆20Aug 17, 2026Updated 2 weeks ago
- RisingWave MCP Server.☆17May 20, 2026Updated 3 months ago
- Framework for type-safe pure functional and non-cubical tensor processing, written in Idris 2☆45Aug 17, 2026Updated 2 weeks ago
- Scalafix Rewrites for Scala☆10Oct 5, 2021Updated 4 years ago
- ☆16Mar 13, 2026Updated 5 months ago
- ☆118Dec 1, 2024Updated last year
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- ☆26Updated this week
- Library implementation of "Generic description of well-scoped, well-typed syntaxes"☆12Mar 25, 2018Updated 8 years ago
- Plain-text declaration export for Lean 4☆39Updated this week
- Code for Lie Symmetries SSL paper☆26Mar 19, 2024Updated 2 years ago
- Rust abstractions for multi-platform native authentication (biometric, fingerprint, password, FaceID, TouchID etc)☆17Jul 7, 2025Updated last year
- foundry + ethers☆22Feb 2, 2022Updated 4 years ago
- 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
- Python reimplementation of Causal Entropic Forces [Wissner-Gross & Freer, 2013]☆15Aug 21, 2026Updated last week
- ☆12Nov 2, 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.
- A database of small finite categories☆14Updated this week
- Verified Optimizing Compiler for Cryptographic Primitives☆41Jun 9, 2026Updated 2 months ago
- ☆21Mar 11, 2026Updated 5 months ago
- A pastebin that does just enough to be really useful.☆23Aug 18, 2024Updated 2 years ago
- Virtual cockpit for UAVs☆12Feb 13, 2017Updated 9 years ago
- MagSpoof is a portable device that can spoof/emulate any magnetic stripe or credit card "wirelessly", even on standard magstripe readers.☆17Nov 25, 2015Updated 10 years ago
- MI-BCI is the acronym for minimal invasive brain-computer interface (BCI). The repository is the sample code for the paper "Intracranial…☆10Jun 12, 2022Updated 4 years ago