Upload Code

The open-source library for

formally verified code

Showing 1–15 of 1,735
Sort by
Lean Locked
Repo Verified ✓

Summary: lean-zip — certified snapshot

Repo: https://github.com/kim-em/lean-zip

797 files Updated Apr 17, 2026 ID: 5165
Lean Locked
Repo Verified ✓

Summary: lean-zip

Repo: https://github.com/kim-em/lean-zip

797 files Updated Apr 17, 2026 ID: 5164
Rust Locked
Repo Verified ✓

Summary: libsignal-verify

Repo: https://github.com/Beneficial-AI-Foundation/libsignal-verify

1552 files Updated Apr 16, 2026 ID: 5126
Rust Locked
Repo Verified ✓

Summary: curve25519-dalek-lean-verify — certified snapshot

Repo: https://github.com/Beneficial-AI-Foundation/curve25519-dalek-lean-verify

372 files Updated Apr 16, 2026 ID: 5162
Rust Locked
Repo Verified ✓

Summary: curve25519-dalek-lean-verify

Repo: https://github.com/Beneficial-AI-Foundation/curve25519-dalek-lean-verify

372 files Updated Apr 16, 2026 ID: 5125
Lean Locked
Repo Verified ✓

Summary: Verilib_Dalek_Aeneas

Repo: https://github.com/Beneficial-AI-Foundation/curve25519-dalek-lean-verify

372 files Updated Apr 16, 2026 ID: 5155
Lean Locked
Repo Verified ✓

Summary: SL_VP_LEAN_ZIP_002

Repo: https://github.com/kim-em/lean-zip

797 files Updated Apr 16, 2026 ID: 5154
Rust Locked
Repo Verified ✓

Summary: Vest

Repo: https://github.com/secure-foundations/vest/tree/main/vest

28 files Updated Apr 15, 2026 ID: 5139
Rust Locked
Repo

Summary: IronKV

Repo: https://github.com/verus-lang/verified-ironkv

65 files Updated Apr 15, 2026 ID: 5083
Rust Locked
Repo Verified ✓

Summary: Verified Storage :: pmemlog

Repo: https://github.com/microsoft/verified-storage

188 files Updated Apr 15, 2026 ID: 5085
Rust Locked
Repo Verified ✓

Summary: Dalek Lean - Aeneas

Repo: https://github.com/Beneficial-AI-Foundation/curve25519-dalek-lean-verify

372 files Updated Apr 14, 2026 ID: 5106
Rust Locked
Repo

Summary: Memory Allocator

Repo: https://github.com/verus-lang/verified-memory-allocator

255 files Updated Apr 13, 2026 ID: 5092
Rust Locked
Repo Verified ✓

Summary: IronKV

Repo: https://github.com/verus-lang/verified-ironkv

65 files Updated Apr 13, 2026 ID: 5115
Rust Locked
Repo Verified ✓

Summary: IronKV — certified snapshot

Repo: https://github.com/verus-lang/verified-ironkv

65 files Updated Apr 13, 2026 ID: 5116
Lean Locked
Repo Verified ✓

Summary: curve25519-dalek-lean-verify

Repo: https://github.com/Beneficial-AI-Foundation/curve25519-dalek-lean-verify

371 files Updated Apr 8, 2026 ID: 5102