OSS Verify: enrollment and build instructions for formally verifying open-source fuzz targets
☆107Nov 14, 2026Updated this week
Alternatives and similar repositories for oss-verify
Users that are interested in oss-verify are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Theorem statements about OSS-Fuzz fuzz targets as compiled RISC-V binaries, and machine-checked Rocq proofs of them☆216Updated this week
- Terminal-Bench 4.0 tasks ported to Karotte, with fixes to ambiguous instructions and grader bugs.☆12Oct 20, 2026Updated 3 weeks ago
- Set of agent skills of Lean code generation for software development☆17Jul 6, 2026Updated 4 months ago
- A Rocq model of a Linux process that runs a RISC-V binary☆62Updated this week
- A Rational Defense of Reasonable Reflection (LICS'26 Keynote)☆10Jul 21, 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.
- High-performance computer algebra system built for humans and AI☆20Updated this week
- ☆23Sep 25, 2026Updated last month
- repo containing code storage skill.md and installer☆17May 1, 2026Updated 6 months ago
- Cloud programming for Lean☆31Nov 1, 2026Updated last week
- A collection of huff examples.☆14Aug 7, 2022Updated 4 years ago
- ☆17Sep 17, 2026Updated last month
- Heightmap software rendering demo on HTML canvas☆15Jan 10, 2020Updated 6 years ago
- ☆12Oct 30, 2026Updated 2 weeks ago
- 🌳 Smart contracts for Merkle-based airdrop distributions☆18Oct 9, 2026Updated last month
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Command-line tools for digital simulation waveform analysis — read, filter, and diff FST and VCD files☆12Nov 4, 2026Updated last week
- Lean4 Code Editor☆19Oct 9, 2026Updated last month
- link a linux ELF .so library into memory with python and call functions in it, even if you're not on linux☆13Feb 5, 2020Updated 6 years ago
- ☆14Dec 17, 2025Updated 10 months ago
- ☆11Oct 16, 2025Updated last year
- Lean circuit DSL☆210Updated this week
- Greybox Fuzzing of Distributed Systems (CCS'23)☆60Dec 5, 2023Updated 2 years ago
- Start of an Internet draft on the separation between HTTP's semantic layer, framing layer(s), and the underlying transport layer.☆15Mar 22, 2016Updated 10 years ago
- gedit collaboration plugin☆20Oct 5, 2010Updated 16 years 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.
- Mirror of NetBSD sources useful with rump kernels☆15Mar 23, 2017Updated 9 years ago
- On the Quartic Invariant of Odd Degree Binary Forms — paper, Lean formalization, and computational verification☆18Apr 16, 2026Updated 6 months ago
- This repository hosts the SAIR Mathematics Distillation Challenge: Equational Theories Stage 2, providing Lean 4 problem sets, judging to…☆28Aug 27, 2026Updated 2 months ago
- A rust port of con-leche☆36Updated this week
- Presentations about R1CS☆19May 1, 2019Updated 7 years ago
- decaf377 is a prime-order group designed for use in SNARKs over BLS12-377☆18Mar 9, 2025Updated last year
- A complete Lean 4 formalization of the Kakeya set problem over finite fields☆23Dec 16, 2025Updated 10 months ago
- ☆19Jul 13, 2026Updated 4 months ago
- ☆19Jan 20, 2023Updated 3 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.
- Realtime LIF simulation of FlyWire brain + MANC spine + flybody body, all in WebGPU/WASM in your browser.☆11Sep 4, 2026Updated 2 months ago
- CLI tool to generate SBOMs and upload them to SBOM Observer.☆12Jan 29, 2026Updated 9 months ago
- ☆25Updated this week
- Sources of the EuroProofNet web site.☆13Updated this week
- Skip MCP. Enjoy CLI. Use MCP server tools directly from your terminal.☆11Mar 14, 2026Updated 8 months ago
- [NeurIPS'25] Towards Interpretability Without Sacrifice: Faithful Dense Layer Decomposition with Mixture of Decoders☆16May 28, 2025Updated last year
- ☆24May 3, 2026Updated 6 months ago
Are these results useful?