Upload Code

The open-source library for

formally verified code

Showing 49–64 of 1,781
Sort by
Rust
View
Aeneas

Summary: Dalek Lean - Aeneas

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

@baifdemoa 372 files Jun 17, 2026 ID: 5106
Rust
View
Verus VeriLib Certified

Summary: Dalek Verus — certified snapshot

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

@baifdemoa 133 files Jun 17, 2026 ID: 5104
Lean
View
Lean

Summary: curve25519-dalek-lean-verify

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

@baifdemoa 371 files Jun 17, 2026 ID: 5102
Rust
View
Verus Verified ✓

Summary: pmemlog

Repo: https://github.com/microsoft/verified-storage/tree/main/pmemlog

@baifdemoa 11 files Jun 17, 2026 ID: 5095
Rust
View
Verus VeriLib Certified

Summary: Dalek Verus — certified snapshot

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

@baifdemoa 133 files Jun 17, 2026 ID: 5094
Rust
View
Verus

Summary: Dalek Verus — certified snapshot

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

@baifdemoa 133 files Jun 17, 2026 ID: 5093
Rust
View
Verus Verified ✓

Summary: Memory Allocator

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

@mkovaxx 255 files Jun 17, 2026 ID: 5092
Rust
View
Verus VeriLib Certified

Summary: Verified Storage :: pmemlog

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

@mkovaxx 188 files Jun 17, 2026 ID: 5085
Rust
View
Verus

Summary: IronKV

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

@mkovaxx 65 files Jun 17, 2026 ID: 5083
Lean
View
Lean

Summary: SL_LEAN_ZIP

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

@baifdemoa 77 files Jun 17, 2026 ID: 5082
Rust
View
Verus

Summary: pmemlog CLI 0.2.1

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

@sofia.lanfri.vgb 11 files Jun 17, 2026 ID: 5057
Rust
View
Verus

Summary: Libsignal

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

@baifdemoa 1489 files Jun 17, 2026 ID: 5051
Rust
View
Verus VeriLib Certified

Summary: Dalek Verus

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

@baifdemoa 133 files Jun 17, 2026 ID: 5050
Rust
View
Verus VeriLib Certified

Summary: Test 24.2.2026

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

@baifdemoa 448 files Jun 17, 2026 ID: 5049
Rust
View
Verus

Summary: CLI test 23.2.2026

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

@baifdemoa 446 files Jun 17, 2026 ID: 5048
Rust
View
Verus

Summary: Verus CLI Armin Test

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

@baifdemoa 444 files Jun 17, 2026 ID: 5046