Geometric Algebra Transformer Made Easy
☆24Aug 19, 2026Updated last month
Alternatives and similar repositories for ezgatr
Users that are interested in ezgatr are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Python library for Electronic Health Certificate☆12Oct 28, 2021Updated 4 years ago
- QArt Codes generator☆13Dec 16, 2025Updated 10 months ago
- Checker for "morally correct" induction proofs about haskell programs☆11Mar 16, 2022Updated 4 years ago
- Checker for "morally correct" induction proofs about haskell programs☆32Mar 9, 2022Updated 4 years ago
- Repository containing the code for the project "Using deep learning to construct Stochastic Local Search SAT solvers with performance bou…☆16Apr 16, 2026Updated 6 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.
- Cheatsheets for various subjects from the BSc in Computer Science at ETH Zurich☆29Jan 25, 2024Updated 2 years ago
- Proof combinators used in Liquid Haskell for theorem proving☆12Mar 28, 2018Updated 8 years 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
- Small chat application demonstrating asynchronous responses in Bottle using gevent☆12Jul 22, 2011Updated 15 years ago
- A rust port of con-leche☆31Updated this week
- PostgreSQL support for the drifter schema migration tool☆12Dec 25, 2017Updated 8 years ago
- Tornado + ZMQ☆13Nov 16, 2010Updated 15 years ago
- The generalized intensional compiler for a Haskell-like language.☆14Nov 27, 2017Updated 8 years ago
- A Haskell implementation of the tiger compiler☆10May 2, 2020Updated 6 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A generic, derivable, haskell pretty printer - Research project, summer of 2011☆10Nov 10, 2019Updated 6 years ago
- Haskell encoder/decoder for CBOR encoding.☆13May 9, 2015Updated 11 years ago
- A simple ML dialect☆10Jan 2, 2017Updated 9 years ago
- Haskell Interface for getting overall system statistics☆16Feb 8, 2019Updated 7 years ago
- an agent harness is just a monoid in the category of endofunctors☆40Updated this week
- Toy example — How can GHC optimize monad transformers?☆11Nov 8, 2016Updated 9 years ago
- Composable, idempotent & transparent application resource cleanup sub-routines☆14Jan 30, 2019Updated 7 years ago
- Closure calculus implementation☆12Jun 25, 2019Updated 7 years ago
- Web frontend for GHC☆12Dec 10, 2019Updated 6 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- LIMA: Language for Integrated Modeling and Analysis☆12Sep 8, 2018Updated 8 years ago
- Rerun previous test suite runs to run only failing tests☆14Sep 28, 2026Updated 2 weeks ago
- Simple printing with Text☆10Jan 3, 2017Updated 9 years ago
- Computing lenses generically using generics-sop☆15Jan 7, 2026Updated 9 months ago
- The GHC Wiki (kept for archiving purposes, please use version at https://gitlab.haskell.org/ghc/ghc/wikis/)☆12Mar 9, 2019Updated 7 years ago
- Functional Vector Graphics☆17Jun 19, 2017Updated 9 years ago
- Extensible, Type Safe Error Handling in Haskell☆13Dec 22, 2020Updated 5 years ago
- Numerical optimization with support for stochastic optimization, mostly for my own experimental usage☆13Jul 6, 2020Updated 6 years ago
- Right Kan extension transformers covering the entire MTL, IO, ST s, and STM in Haskell in a generalization of continuation passing style☆14Feb 10, 2024Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- typesafe implementation of tensor algebra in Haskell☆13Feb 27, 2021Updated 5 years ago
- Sift through Haskell code for analysis purposes☆18Jul 24, 2018Updated 8 years ago
- A pure Haskell implementation of Plan9's mk☆16Jan 11, 2016Updated 10 years ago
- Haskell dynamic RTS loader☆13Jun 24, 2016Updated 10 years ago
- A toy nanopass compiler for x86 written in lean☆15Oct 25, 2025Updated 11 months ago
- a parallel, safe, iterative list operation language for systems programming☆16Jul 9, 2020Updated 6 years ago
- Haskell port of the Tensor Algebra COmpiler☆16Nov 18, 2019Updated 6 years ago