Verifying Signal's security at the machine-code level
☆54Nov 10, 2026Updated this week
Alternatives and similar repositories for code-verification
Users that are interested in code-verification are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Development monorepo for Hex: verified computational algebra in Lean 4 (polynomial factoring, LLL, and friends). Released aggregate: http…☆24Updated this week
- Verified computational algebra in Lean 4: aggregator for the released hex libraries☆38Oct 15, 2026Updated 3 weeks ago
- A classification theorem in Lean of solvable Lie algebras of dimension zero to three☆12May 18, 2025Updated last year
- Verified algorithms in Lean, implemented and proved by AIs☆12Apr 28, 2026Updated 6 months ago
- ☆11Oct 2, 2026Updated last month
- 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.
- Formalizing the Poincaré Conjecture in Lean 4☆13Nov 4, 2026Updated last week
- Proétale cohomology in Lean☆18Sep 29, 2026Updated last month
- Running sublean☆21Updated this week
- ☆30Updated this week
- An external lean checker with a proof of consistency☆149Updated this week
- Fuse: a desktop workspace for Lean formalization with AI agents☆13Oct 19, 2026Updated 3 weeks ago
- Verified Lean typechecker☆17Oct 31, 2026Updated last week
- Natural language Lean☆13Updated this week
- Alamofire with ReactiveSwift☆13Oct 28, 2017Updated 9 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- A proof that Z is Diophantine in Q.☆74Updated this week
- macOS wrapper for borg backup☆13Apr 27, 2017Updated 9 years ago
- Code and dataset for the paper "IsarStep: a Benchmark for High-level Mathematical Reasoning"☆12Mar 15, 2021Updated 5 years ago
- Claude Code sessions and Codex CLI agents message one another by name, on one Mac or across your Macs over SSH. Native wake, receipts for…☆13Sep 28, 2026Updated last month
- Claude/Codex skill and local workflow layer for efficient interaction with Lean 4 and Monte-Carlo Tree Search.☆48Updated this week
- Lean 4 formalization (work in progress) of O(n log n · log^(-ε) n) integer multiplication on a multitape Turing machine☆28Updated this week
- Formalizing CPython 3.15.2 in Lean 4; bugs found along the way☆54Updated this week
- Make an existing proof easier to inspect by exposing its hierarchy, dependencies, scope, and unresolved obligations.☆22Sep 6, 2026Updated 2 months ago
- ☆73Updated this week
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- A Go library for reading, writing, and manipulating Office Open XML (OOXML) documents.☆19Oct 5, 2026Updated last month
- Esoteric Programming Languages, Formally☆63Sep 6, 2026Updated 2 months ago
- Methods for accelerating and proving theorems about 5-state Busy Beaver candidates☆20Oct 29, 2021Updated 5 years ago
- Proof recording for Lean 3☆27Sep 30, 2021Updated 5 years ago
- ☆13Updated this week
- A chrome extension to highlight trans erasure☆12Feb 14, 2025Updated last year
- How to say it using Mathlib.☆21Oct 29, 2026Updated last week
- Simple invoicing for developers. Generate invoices with a simple json file from a cloud storage or local storage.☆12Nov 1, 2015Updated 11 years ago
- A Swift resultBuilder for building a Bool.☆14Sep 28, 2022Updated 4 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.
- Git Version Control Extension for Mirth Connect☆12Mar 23, 2026Updated 7 months ago
- ☆12Mar 31, 2024Updated 2 years ago
- The easy way to use sockets on Apple platforms☆12Sep 14, 2021Updated 5 years ago
- MCP server that lets AI agents search, retrieve, store, view, measure and de-identify DICOM images over both DIMSE and DICOMweb, using on…☆24Updated this week
- Typescript based Model Context Procotol (MCP) Server for Open Database Connectivity (ODBC)☆13Jul 23, 2025Updated last year
- ☆10Oct 21, 2017Updated 9 years ago
- In this repository, the LANA Project has published its July 2026 report “Project LANA Interim Report on IUT Theory.”☆19Jul 20, 2026Updated 3 months ago
Are these results useful?