Upload Code

The open-source library for

formally verified code

Showing 1715 results
Sort by
Rust Locked
Repo Verified ✓

Summary: Dalek-lite

Repo: https://github.com/Beneficial-AI-Foundation/dalek-lite

716 files Updated Mar 12, 2026 ID: 5050
Rust Locked
Repo

Summary: pmemlog CLI 0.2.1

Repo: https://github.com/sofia-lanfri/pmemlog

11 files Updated Mar 3, 2026 ID: 5057
Dafny Locked
File Verified ✓

Summary: DafnyySofiaNov26

2,176 lines Updated Feb 26, 2026 ID: 5012
Rust Locked
Repo

Summary: Libsignal

Repo: https://github.com/signalapp/libsignal/

1489 files Updated Feb 25, 2026 ID: 5051
Dafny Locked
Repo Verified ✓

Summary: Dalek Lite

Repo: https://github.com/Beneficial-AI-Foundation/dalek-lite/

127 files Updated Feb 24, 2026 ID: 3157
Rust Locked
Repo

Summary: Verus CLI Armin Test

Repo: https://github.com/avrevic/dalek-lite-fork

444 files Updated Feb 23, 2026 ID: 5046
Lean Locked
Repo

Summary: Oliver Bignum

Repo: https://github.com/oliver-butterley/BigNum

15 files Updated Dec 2, 2025 ID: 3250
Rust Locked
Repo

Summary: TreuRust_Sofia

Repo: https://github.com/sofia-lanfri/test_true/tree/main/src

2 files Updated Dec 1, 2025 ID: 5018
Lean Locked
Repo Verified ✓

Summary: Benchmark - LV0181_vericoded.lean

Repo: https://github.com/Beneficial-AI-Foundation/vericoded-lean-benchmark

3 files Updated Nov 19, 2025 ID: 4116
Lean Locked
Repo Verified ✓

Summary: Benchmark - LV0180_vericoded.lean

Repo: https://github.com/Beneficial-AI-Foundation/vericoded-lean-benchmark

3 files Updated Nov 19, 2025 ID: 4115
Lean Locked
Repo Verified ✓

Summary: Benchmark - LV0178_vericoded.lean

Repo: https://github.com/Beneficial-AI-Foundation/vericoded-lean-benchmark

3 files Updated Nov 19, 2025 ID: 4114
Lean Locked
Repo Verified ✓

Summary: Benchmark - LV0176_vericoded.lean

Repo: https://github.com/Beneficial-AI-Foundation/vericoded-lean-benchmark

3 files Updated Nov 19, 2025 ID: 4113
Lean Locked
Repo Verified ✓

Summary: Benchmark - LV0174_vericoded.lean

Repo: https://github.com/Beneficial-AI-Foundation/vericoded-lean-benchmark

3 files Updated Nov 19, 2025 ID: 4112
Lean Locked
Repo Verified ✓

Summary: Benchmark - LV0173_vericoded.lean

Repo: https://github.com/Beneficial-AI-Foundation/vericoded-lean-benchmark

3 files Updated Nov 19, 2025 ID: 4111
Lean Locked
Repo Verified ✓

Summary: Benchmark - LV0172_vericoded.lean

Repo: https://github.com/Beneficial-AI-Foundation/vericoded-lean-benchmark

3 files Updated Nov 19, 2025 ID: 4110
Load more Results