Skip to content

@formosa-crypto formosa-crypto

Change the repository type filter

All

    Repositories list

    17 repositories

    • formosa-mlkem

      Public
      eC
      •11•16•0•1•Updated Dec 29, 2025Dec 29, 2025

    • xhl

      Public
      Rocq Prover
      •0•2•0•1•Updated Dec 26, 2025Dec 26, 2025

    • crypto-specs

      Public
      EasyCrypt specifications of crypto primitives
      eC
      •
      Creative Commons Zero v1.0 Universal
      •1•5•0•0•Updated Dec 22, 2025Dec 22, 2025

    • formosa-keccak

      Public
      Implementation of Keccak and related functions (SHA3, SHAKE, etc.)
      eC
      •
      Other
      •3•3•0•1•Updated Dec 21, 2025Dec 21, 2025

    • libjade

      Public
      Crypto library
      cryptographycryptohigh-speedjasminpostquantumcryptographyeasycrypthigh-assurance
      C
      •
      Other
      •18•66•7•5•Updated Dec 9, 2025Dec 9, 2025

    • formosa-xmss

      Public
      Jasmin implementations of XMSS
      eC
      •
      Apache License 2.0
      •0•1•0•0•Updated Nov 29, 2025Nov 29, 2025

    • formosa-25519

      Public
      Jasmin implementations of x25519
      eC
      •
      Apache License 2.0
      •3•4•6•1•Updated Nov 17, 2025Nov 17, 2025

    • formosa-mldsa

      Public
      Jasmin implementations of ML-DSA
      C
      •
      Apache License 2.0
      •5•6•0•0•Updated Nov 5, 2025Nov 5, 2025

    • jasmin-tutorial

      Public
      eC
      •0•5•20•1•Updated Oct 15, 2025Oct 15, 2025

    • formosa-x-wing

      Public
      eC
      •1•5•1•0•Updated Apr 2, 2025Apr 2, 2025

    • formosa-slh-dsa

      Public
      C
      •0•0•0•0•Updated Feb 14, 2025Feb 14, 2025

    • libjbn

      Public
      BigNums library for Jasmin
      eC
      •2•9•0•1•Updated Jul 16, 2024Jul 16, 2024

    • retreat-notes

      Public
      Collection of notes from discussions (mostly) during retreats
      1•2•0•0•Updated Jul 14, 2024Jul 14, 2024

    • crypto-proofs

      Public
      eC
      •1•2•1•2•Updated Dec 9, 2023Dec 9, 2023

    • formosa-demos

      Public
      Proofs of concepts and general demonstrations of Formosa tools.
      eC
      •
      Creative Commons Zero v1.0 Universal
      •1•2•0•0•Updated Oct 6, 2023Oct 6, 2023

    • dilithium

      Public
      eC
      •1•6•0•0•Updated Jun 21, 2023Jun 21, 2023

    • libjade-testing

      Public
      Extended unit tests and regression tests for libjade
      eC
      •1•2•0•0•Updated Nov 15, 2022Nov 15, 2022