leanprover / SHerLOCView external linksLinks
A StableHLO analyzer in Lean
☆20Jul 22, 2025Updated 6 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☆41Feb 6, 2026Updated last week
- ☆20Nov 28, 2024Updated last year
- ☆12Nov 13, 2024Updated last year
- A verified tensor library in Lean☆35Oct 9, 2025Updated 4 months ago
- ☆81Feb 3, 2026Updated last week
- Lean models of Rust libraries☆25Sep 4, 2024Updated last year
- Armv8 Native Code Symbolic Simulator in Lean☆96Nov 21, 2025Updated 2 months ago
- A Lean 4 library for configuring Command Line Interfaces and parsing command line arguments.☆95Jan 26, 2026Updated 2 weeks ago
- Intuitive, type-safe expression quotations for Lean 4.☆101Jan 26, 2026Updated 2 weeks ago
- ☆10Dec 11, 2025Updated 2 months ago
- A Testing Framework for Lean☆73Updated this week
- Exploring connections between automatic differentiation and smooth infinitesimal analysis, or smooth algebras☆17Sep 11, 2021Updated 4 years ago
- Progetto per la prova finale di Ingegneria del Software 2023-2024 al Politecnico di Milano☆10Oct 19, 2024Updated last year
- This script automates the process of unlocking Apple ID accounts by solving captcha challenges, verifying account details, and resetting …☆13Jan 24, 2026Updated 2 weeks ago
- 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☆57Jan 5, 2026Updated last month
- API de mapeo para la Universidad de El Salvador (UES), desarrollada por estudiantes de la Facultad Multidisciplinaria Oriental. Proporcio…☆16Oct 3, 2025Updated 4 months ago
- A smart inventory management system that includes real-time stock tracking, supplier management, predictive analytics for inventory forec…☆17Apr 22, 2025Updated 9 months ago
- A simple raytracer written in Lean 4☆143May 16, 2024Updated last year
- collective tools for Julia SSA IR.☆29Nov 30, 2023Updated 2 years ago
- A toy implementation of socket programming for Lean 4.☆28Feb 23, 2023Updated 2 years ago
- Experiments with SAT solvers with proofs in Lean 4☆63Jun 23, 2024Updated last year
- Document Generator for Lean 4☆125Updated this week
- LVCS@Tesla.com☆12Jan 16, 2026Updated 3 weeks ago
- ☆28Dec 31, 2024Updated last year
- Open Source Risk Assessment Tool for Power Platform☆10Jul 21, 2025Updated 6 months ago
- deep learning for math☆29May 4, 2019Updated 6 years ago
- Package registry for Lean/Lake.☆39Dec 19, 2025Updated last month
- 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
- 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 10 months ago
- A WebAssembly implementation in Lean4☆41Dec 13, 2023Updated 2 years ago
- Vue3 + SpringBoot + OpenCv + YOLO + RxJava 后台流量监测的一个在线判题AI判题系统☆12Jan 29, 2026Updated 2 weeks ago
- 医学影像深度学习诊断框架，支持多尺度特征提取、注意力机制和多种现代架构（ResNet/ConvNeXt/Swin），在胸部X光数据集上达到91.67%准确率 / Production-ready medical image diagnosis framework with …☆15Oct 31, 2025Updated 3 months ago
- Chatbot de WhatsApp para fluxo de conversa☆12Dec 29, 2024Updated last year
- ☆13Feb 6, 2026Updated last week
- A Python package tailored for Django, djpro simplifies project creation and command execution, streamlining your workflow to save develop…☆10Mar 19, 2025Updated 10 months ago