Skip to content
@symbolicsoft

Symbolic Software

Pinned Loading

  1. verifpal verifpal Public

    Cryptographic protocol analysis for real-world protocols.

    Rust 126 15

  2. crucible crucible Public

    Cryptographic implementation conformance testing harness for ML-KEM and ML-DSA.

    C 18 4

  3. hpke-ng hpke-ng Public

    Faster, Smaller, Harder HPKE for Rust

    Rust 28 6

  4. soundcalc-lean soundcalc-lean Public

    A universal soundness calculator across hash-based zkEVMs and security regimes, proven in Lean

    Lean 2 1

Repositories

Showing 10 of 19 repositories
  • verifpal Public

    Cryptographic protocol analysis for real-world protocols.

    symbolicsoft/verifpal's past year of commit activity
    Rust 126 GPL-3.0 15 4 0 Updated Sep 21, 2026
  • walletconnect-verifpal-analysis Public

    Analyzing the WalletConnect v2 protocol (as implemented) in Verifpal

    symbolicsoft/walletconnect-verifpal-analysis's past year of commit activity
    HTML 0 0 0 0 Updated Sep 21, 2026
  • simplex-verifpal-analysis Public

    Supporting materials for https://github.com/simplex-chat/simplexmq/issues/1864

    symbolicsoft/simplex-verifpal-analysis's past year of commit activity
    HTML 0 0 0 0 Updated Sep 21, 2026
  • winget-pkgs Public Forked from microsoft/winget-pkgs

    The Microsoft community Windows Package Manager manifest repository

    symbolicsoft/winget-pkgs's past year of commit activity
    0 MIT 9,905 0 0 Updated Sep 21, 2026
  • verifpal-zed Public

    Verifpal for Zed

    symbolicsoft/verifpal-zed's past year of commit activity
    C 1 GPL-3.0 0 0 0 Updated Sep 17, 2026
  • verifpal-vscode Public

    Verifpal for Visual Studio Code

    symbolicsoft/verifpal-vscode's past year of commit activity
    TypeScript 3 GPL-3.0 1 0 0 Updated Sep 6, 2026
  • verifpal-nvim Public

    Verifpal plugin for Neovim

    symbolicsoft/verifpal-nvim's past year of commit activity
    Lua 2 GPL-3.0 1 0 0 Updated Sep 5, 2026
  • soundcalc-lean Public

    A universal soundness calculator across hash-based zkEVMs and security regimes, proven in Lean

    symbolicsoft/soundcalc-lean's past year of commit activity
    Lean 2 1 0 1 Updated Aug 24, 2026
  • hpke-ng Public

    Faster, Smaller, Harder HPKE for Rust

    symbolicsoft/hpke-ng's past year of commit activity
    Rust 28 Apache-2.0 6 1 1 Updated Aug 23, 2026
  • reftls Public Forked from Inria-Prosecco/reftls
    symbolicsoft/reftls's past year of commit activity
    JavaScript 4 20 0 0 Updated Jul 26, 2026
View all repositories