CVE-2026-72844 : Example of proving "0 = 1" using a vulnerability in the Lean 4 kernel.
☆26Aug 22, 2026Updated last month
Alternatives and similar repositories for lean-cve-poc
Users that are interested in lean-cve-poc are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Formal Verification of the Zcash Protocol and Documentation for the Ironwood Pool☆22Updated this week
- ngcc artifacts☆46Updated this week
- Claude re-derived a published one-loop quantum gravity calculation step by step: 18 tasks, 183 pages of derivations, 38 reproducible chec…☆42Updated this week
- R1CS to Plonk transpiler☆11Jun 12, 2025Updated last year
- Stream torrents in mpv using btfs☆10Aug 6, 2023Updated 3 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- ☆43Jul 21, 2026Updated 2 months ago
- This repository is for the development of a fault simulator simulating different kinds of attacks on ARM M33 processors☆13Oct 2, 2026Updated 2 weeks ago
- CAS, Commutative Rings, Fraction Fields, Quotient Rings, Polynomial Rings, Galois Fields☆11Jun 13, 2026Updated 4 months ago
- Beta Version of Cryptographic Fault Diagnosis Tool (VerFI)☆13Nov 6, 2020Updated 5 years ago
- R package implementing MCMC estimation of the two-parameter IRT model on GPUs☆14Aug 19, 2019Updated 7 years ago
- The CYC1000 is the next generation of Arrow’s FPGA IoT/Maker boards based on the latest Intel FPGA family Cyclone 10 LP.☆11Jan 27, 2022Updated 4 years ago
- An R package to generate ground truth data for Tesseract☆12Feb 9, 2026Updated 8 months ago
- Type checker for dynamic languages like JavaScript & Python, with full type inference and no transpilation☆19Updated this week
- [Geography of Poverty 2026] Awesome papers on Earth Observation (EO), Machine Learning (ML), and Causal Inference (CI)☆12Jan 18, 2026Updated 9 months ago
- 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.
- UNFINISHED/WIP - CVE-2026-43499 (IonStack/GhostLock) research POC for Samsung SM-T878U / gts7l. Trigger + geometry verified, NO working r…☆17Oct 6, 2026Updated 2 weeks ago
- ☆12Jan 5, 2022Updated 4 years ago
- GreenLambert macOS IDA plugin to deobfuscate strings☆14Oct 4, 2021Updated 5 years ago
- AIS 31 Test Suite from BSI, Version 1.0☆12Jul 4, 2020Updated 6 years ago
- A coverage-guided and memory-detection enabled fuzzer for windows applications.☆32Feb 1, 2021Updated 5 years ago
- ☆32Jun 3, 2026Updated 4 months ago
- Spatial first differences☆16Feb 12, 2020Updated 6 years ago
- A library providing a pure Rust implementation of a client for both the NAT Port Mapping Protocol (NAT-PMP) and the Port Control Protocol…☆23Jul 6, 2026Updated 3 months ago
- Android App to use the Glyph interface as torch for Nothing Phone (1)☆14Feb 2, 2024Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆12Updated this week
- Switch Trust CLI☆66Oct 13, 2026Updated last week
- This repository corresponds to the PICCO compiler for secure multi-party computation published in 2013 with more recent efficiency improv…☆12Apr 30, 2026Updated 5 months ago
- Vermilion: Verus meets Lean☆60Updated this week
- Automated security audits with Claude Code☆57Aug 15, 2026Updated 2 months ago
- My research WIP bluepill hypervisor☆40Mar 15, 2023Updated 3 years ago
- ☆38Oct 7, 2026Updated last week
- This is the repository for the first-order masked Kyber on ARM Cortex-M4☆22Nov 2, 2023Updated 2 years ago
- cuPQC SDK Developer Hub: samples, integration guides, and technical/release blogs☆17Sep 3, 2026Updated last month
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- panVK for linux container on Android kernel (without panthor/panfrost kernel module)☆20Aug 5, 2026Updated 2 months ago
- Browser based rce for iOS <= 14.3☆10May 26, 2025Updated last year
- mpv script to restore properties from past sessions☆15Oct 28, 2023Updated 2 years ago
- Automated window blinds that open at sunrise and close at sunset☆18Apr 2, 2023Updated 3 years ago
- A tool to get linux container rootfs from lxc-image mirrors.☆12Nov 11, 2024Updated last year
- Build structured Proof Blueprints with Verso☆35Oct 10, 2026Updated last week
- An RStudio addin to supervise fuzzy joins☆19Nov 29, 2022Updated 3 years ago