Upload Code

The open-source library for

formally verified code

Showing 2781 results
Sort by
Dafny Locked
File Verified ✓

Summary: DafnyBinarySearchSofia

25 lines Updated Jun 27, 2025 ID: 2986
Dafny Locked
File

Summary: BinarySearch

24 lines Updated Jun 18, 2025 ID: 2944
Dafny Locked
File

Summary: Dafny bignums, 20250612, 1109

2,124 lines Updated Jun 18, 2025 ID: 2956
Rust Locked
Repo

Summary: Rust Repo testing

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

635 files Updated Jun 12, 2025 ID: 2865
Rust Locked
Repo

Summary: Rust Sorting Sofia

Repo: https://github.com/flakusha/sorting_rs

26 files Updated Jun 11, 2025 ID: 2861
Rust Locked
Repo

Summary: Emi Testing June 10, 2025

Repo: https://github.com/flakusha/sorting_rs

26 files Updated Jun 10, 2025 ID: 2863
Rust Locked
Repo

Summary: June 10 Emi testing

Repo: https://github.com/flakusha/sorting_rs

26 files Updated Jun 10, 2025 ID: 2862
Rust Locked
File

Summary: Emi testing 2

13 lines Updated Jun 4, 2025 ID: 2850
Rust Locked
Repo

Summary: Emi testing Rust repo

Repo: https://github.com/flakusha/sorting_rs

26 files Updated Jun 4, 2025 ID: 2849
Dafny Locked
File

Summary: bignumsDafnyMay15

276 lines Updated May 15, 2025 ID: 2835
Dafny Locked
File

Summary: Reset.dfy

116 lines Updated Apr 3, 2025 ID: 2817
Dafny Locked
Package Verified ✓

Summary: Sofia Testing - Mar 19

Package: Sofia Testing - Mar 19

22 lines Updated Mar 19, 2025 ID: 2808
RefinedC Locked
Repo

Summary: RefinedC Latch 2

Repo: https://github.com/Beneficial-AI-Foundation/Refinedc-Latch

7 files Updated Mar 7, 2025 ID: 2803
Dafny Locked
Package Verified ✓

Summary: Dafny Binary Search

Package: Dafny Binary Search

22 lines Updated Mar 7, 2025 ID: 2805
Isabelle Locked
Repo

Summary: Karatsuba

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

6 files Updated Mar 7, 2025 ID: 2800
Load more Results