Upload Code

The open-source library for

formally verified code

Showing 1741–1745 of 1,745
Sort by
Rust
View
Repo

Summary: libsignal focus on dalek_lite

Repo: https://github.com/Beneficial-AI-Foundation/libsignal_focus_dalek_lite

745 files Updated Sep 25, 2025 ID: 3082
Rust
View
Repo

Summary: Rust Signal Github Sofia

Repo: https://github.com/signalapp/libsignal/tree/main/rust

622 files Updated Sep 25, 2025 ID: 2872
Rust
View
Repo

Summary: LibsignalAug11

Repo: https://github.com/signalapp/libsignal/tree/main/rust

675 files Updated Sep 25, 2025 ID: 3018
Lean
View
Repo

Summary: Simple Monads

Repo: https://github.com/leanprover-community/lean4-samples/tree/main/SimpleMonads

7 files Updated Sep 25, 2025 ID: 3151
Rust
View
Repo Verified ✓

Summary: Curve Dalek

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

66 files Updated Sep 25, 2025 ID: 3150