A verified tensor library in Lean
☆50Sep 15, 2026Updated last month
Alternatives and similar repositories for TensorLib
Users that are interested in TensorLib 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 StableHLO analyzer in Lean☆24Oct 8, 2026Updated 3 weeks ago
- A formalization of ML kernel languages☆53Mar 26, 2026Updated 7 months ago
- ☆13Oct 22, 2026Updated last week
- Armv8 Native Code Symbolic Simulator in Lean☆120Jul 8, 2026Updated 3 months ago
- A toy nanopass compiler for x86 written in lean☆15Oct 25, 2025Updated last year
- 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.
- a Lean4 framework for the modeling and refinement of stateful systems☆39Oct 2, 2026Updated 3 weeks ago
- A Lean implementation of Interaction Trees☆19Jan 13, 2025Updated last year
- Lennard Jones in Lean☆24Jul 14, 2025Updated last year
- ☆14Jul 23, 2024Updated 2 years ago
- A deprecated equality saturation tactic for Lean based on egg.☆87Oct 20, 2026Updated last week
- Verimag Polyhedra Library☆19Apr 11, 2025Updated last year
- Accelerated machine learning with dependent types☆101May 25, 2026Updated 5 months ago
- The Package Calculus☆13Aug 5, 2026Updated 2 months ago
- Distributed algorithms in Lean 4☆21Jul 28, 2026Updated 3 months 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.
- ☆17Oct 13, 2026Updated 2 weeks ago
- Unstable egglog standard library.☆17Updated this week
- ☆118Updated this week
- Write Python modules in Lean! (WIP)☆16Oct 10, 2026Updated 2 weeks ago
- ☆48Oct 27, 2025Updated last year
- Document Generator for Lean 4☆175Updated this week
- A toy ELF parser/validator☆18Dec 18, 2024Updated last year
- program synthesis with neuro-symbolic differentiable interpreters☆17Sep 17, 2025Updated last year
- A translation framework for eliminating definitional equalities in Lean☆17Jun 17, 2026Updated 4 months 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.
- Math is of the people, by the people, and for the people, and we will cite the people.☆58Updated this week
- A Lean 4 library for configuring Command Line Interfaces and parsing command line arguments.☆124Updated this week
- Formal Semantics for Why3☆21Jul 15, 2026Updated 3 months ago
- Verified computational algebra in Lean 4: aggregator for the released hex libraries☆36Oct 15, 2026Updated 2 weeks ago
- Using Haskell's type system to guarantee commutativity.☆17Aug 1, 2013Updated 13 years ago
- A minimal development of SSA theory☆273Jul 28, 2026Updated 3 months ago
- Loom is a framework for automated generation of foundational multi-modal verifiers. This repository is a mirror with stable snapshots. Su…☆164Updated this week
- Sail x86 model automatically translated from the ACL2 model☆15Nov 29, 2024Updated last year
- An auto-active program verifier in Lean☆132Updated this week
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Haskell library for representing and manipulating Symbolic Regression Tree☆19Oct 2, 2026Updated 3 weeks ago
- Formalising the WASM spec in Lean☆34Nov 14, 2025Updated 11 months ago
- Skills for AIs using the Lean programming language and theorem prover — proofs, toolchain setup, bisection, and more☆77Feb 25, 2026Updated 8 months ago
- An elegant implementation of discrete diffgeo in haskell☆34Jan 12, 2020Updated 6 years ago
- ☆23Dec 2, 2024Updated last year
- A verifier for automated and interactive proofs about transition systems.☆346Updated this week
- (Mirror) A Machine-to-Machine Interaction System for Lean 4☆84Oct 20, 2026Updated last week