Repositories list

• vericoding

  Public
  tools and benchmarks for verified coding

  Rust

  •0•5•57•6•Updated Sep 5, 2025Sep 5, 2025

• fewer_verus_specs_from_yaml

  Public
  Rust

  •0•0•0•0•Updated Sep 5, 2025Sep 5, 2025

• rust-lean-playground

  Public
  Lean

  •0•0•0•0•Updated Sep 5, 2025Sep 5, 2025

• dalek-lite

  Public
  A pure-Rust implementation of group operations on Ristretto and Curve25519

  Rust

  •

  Other

  •553•1•0•2•Updated Sep 5, 2025Sep 5, 2025

• vericoding-lean-benchmark

  Public
  Lean

  •

  MIT License

  •0•0•0•0•Updated Sep 4, 2025Sep 4, 2025

• vericoding-dafny-single

  Public
  Dafny

  •0•0•0•0•Updated Sep 4, 2025Sep 4, 2025

• libsignal_focus_dalek_lite

  Public
  Rust

  •0•0•0•0•Updated Sep 4, 2025Sep 4, 2025

• vericoding-verus-single

  Public
  Rust

  •0•0•0•0•Updated Sep 4, 2025Sep 4, 2025

• vericoding-lean-single

  Public
  Lean

  •0•0•0•0•Updated Sep 4, 2025Sep 4, 2025

• dockerfile_verus

  Public
  Python

  •0•0•3•0•Updated Sep 3, 2025Sep 3, 2025

• test_verus_baz

  Public
  Rust

  •0•0•0•0•Updated Sep 3, 2025Sep 3, 2025

• vericoding-verus-benchmark

  Public
  Rust

  •

  MIT License

  •0•0•0•0•Updated Sep 3, 2025Sep 3, 2025

• vericoding-dafny-benchmark

  Public
  Dafny

  •

  MIT License

  •0•0•0•0•Updated Sep 2, 2025Sep 2, 2025

• scip-dep-test

  Public
  Rust

  •0•0•0•0•Updated Sep 2, 2025Sep 2, 2025

• rust-analyzer-test

  Public
  Rust

  •0•0•0•0•Updated Sep 1, 2025Sep 1, 2025

• dafny2verus

  Public archive
  Rust

  •0•0•1•1•Updated Aug 29, 2025Aug 29, 2025

• code2verus

  Public archive
  Rust

  •0•0•0•0•Updated Aug 29, 2025Aug 29, 2025

• FloatSpec

  Public
  Formally Verified Float Implementation with lean4

  Lean

  •

  Apache License 2.0

  •0•1•0•0•Updated Aug 28, 2025Aug 28, 2025

• rust-atomizer

  Public
  Rust

  •0•0•0•0•Updated Aug 27, 2025Aug 27, 2025

• modularity

  Public
  Tactics-driven vericoding

  Lean

  •0•3•0•0•Updated Aug 15, 2025Aug 15, 2025

• libsignal_with_deps

  Public
  Rust

  •0•0•0•1•Updated Aug 12, 2025Aug 12, 2025

• generate_verus_specs

  Public
  Rust

  •0•0•0•0•Updated Aug 9, 2025Aug 9, 2025

• call_graph_vs_code_extension

  Public
  TypeScript

  •0•0•0•0•Updated Aug 8, 2025Aug 8, 2025

• installers_for_various_tools

  Public
  Python

  •0•0•0•0•Updated Aug 8, 2025Aug 8, 2025

• extract_verified_fctions

  Public
  Python

  •0•0•0•0•Updated Aug 6, 2025Aug 6, 2025

• verus_bash

  Public
  Rust

  •0•0•0•0•Updated Aug 4, 2025Aug 4, 2025

• analyse_curve_fns_usage_in_signal

  Public
  Python

  •0•0•0•0•Updated Aug 4, 2025Aug 4, 2025

• libsignal

  Public
  Home to the Signal Protocol as well as other cryptographic primitives which make Signal possible.

  Rust

  •

  GNU Affero General Public License v3.0

  •578•0•0•0•Updated Jul 30, 2025Jul 30, 2025

• verus

  Public
  Verified Rust for low-level systems code

  Rust

  •

  MIT License

  •117•0•0•0•Updated Jul 29, 2025Jul 29, 2025

• NumpySpec

  Public
  numpy -> lean 4 through ai

  aisymboliccode-generation

  Lean

  •

  Apache License 2.0

  •1•2•26•8•Updated Jul 28, 2025Jul 28, 2025