A StableHLO analyzer in Lean
☆21Jul 22, 2025Updated 7 months ago
Alternatives and similar repositories for SHerLOC
Users that are interested in SHerLOC are comparing it to the libraries listed below
Sorting:
- A formalization of ML kernel languages☆43Updated this week
- ☆20Nov 28, 2024Updated last year
- ☆12Nov 13, 2024Updated last year
- A verified tensor library in Lean☆37Oct 9, 2025Updated 5 months ago
- ☆82Mar 1, 2026Updated last week
- Lean models of Rust libraries☆27Sep 4, 2024Updated last year
- SampCert : Verified Differential Privacy☆91May 1, 2025Updated 10 months ago
- Armv8 Native Code Symbolic Simulator in Lean☆96Nov 21, 2025Updated 3 months ago
- A Lean 4 library for configuring Command Line Interfaces and parsing command line arguments.☆98Mar 1, 2026Updated last week
- Intuitive, type-safe expression quotations for Lean 4.☆101Updated this week
- ☆10Dec 11, 2025Updated 2 months ago
- Partial differential equations using Discrete Exterior Calculus☆16Oct 9, 2019Updated 6 years ago
- A parser for ANSI C, in Lean4.☆22Nov 16, 2023Updated 2 years ago
- Document Generator for Lean 4☆131Updated this week
- Progetto per la prova finale di Ingegneria del Software 2023-2024 al Politecnico di Milano☆10Oct 19, 2024Updated last year
- NestJS project template, configured with prisma and ejs☆12Dec 1, 2024Updated last year
- This package provides an interface and foundation for verified SAT reasoning☆55Aug 29, 2024Updated last year
- sockets for Lean 4☆22Jul 10, 2025Updated 7 months ago
- Python implementation of the monster group☆55Updated this week
- ☆14Sep 10, 2024Updated last year
- A smart inventory management system that includes real-time stock tracking, supplier management, predictive analytics for inventory forec…☆17Apr 22, 2025Updated 10 months ago
- ☆45Feb 27, 2026Updated last week
- API de mapeo para la Universidad de El Salvador (UES), desarrollada por estudiantes de la Facultad Multidisciplinaria Oriental. Proporcio…☆16Oct 3, 2025Updated 5 months ago
- A simple raytracer written in Lean 4☆143May 16, 2024Updated last year
- Building and caching nixpkgs with cudaSupport=true. We push to https://cuda-maintainers.cachix.org/☆23Nov 28, 2024Updated last year
- A toy implementation of socket programming for Lean 4.☆27Feb 23, 2023Updated 3 years ago
- collective tools for Julia SSA IR.☆29Nov 30, 2023Updated 2 years ago
- Experiments with SAT solvers with proofs in Lean 4☆63Jun 23, 2024Updated last year
- ☆21Jan 1, 2026Updated 2 months ago
- A curated collection of courses, videos, and resources to master network security from the ground up.☆10Jan 6, 2025Updated last year
- LVCS@Tesla.com☆12Jan 16, 2026Updated last month
- Open Source Risk Assessment Tool for Power Platform☆10Jul 21, 2025Updated 7 months ago
- deep learning for math☆29May 4, 2019Updated 6 years ago
- A library of results from Social Choice Theory, formalized in the Lean Theorem Prover.☆28Dec 24, 2021Updated 4 years ago
- Building group theory from scratch in Lean☆62Jan 24, 2021Updated 5 years ago
- LeanInk is a command line helper tool for Alectryon which aims to ease the integration of Lean 4.☆66Jul 18, 2024Updated last year
- Package registry for Lean/Lake.☆40Feb 20, 2026Updated 2 weeks ago
- Extension for VS Code that provides support for the older Lean 3 language. Succeeded by vscode-lean4 ('lean4' in the extensions menu) for…☆116Apr 2, 2025Updated 11 months ago
- ☆31Dec 31, 2024Updated last year