Skip to content
@formosa-crypto

formosa-crypto

Popular repositories Loading

  1. libjade libjade Public

    Crypto library

    C 73 17

  2. formosa-mlkem formosa-mlkem Public

    eC 21 15

  3. libjbn libjbn Public

    BigNums library for Jasmin

    eC 10 2

  4. formosa-mldsa formosa-mldsa Public

    Jasmin implementations of ML-DSA

    C 10 6

  5. dilithium dilithium Public

    eC 7 1

  6. crypto-specs crypto-specs Public

    EasyCrypt specifications of crypto primitives

    eC 7 1

Repositories

Showing 10 of 20 repositories
  • formosa-mldsa Public

    Jasmin implementations of ML-DSA

    formosa-crypto/formosa-mldsa's past year of commit activity
    C 10 Apache-2.0 6 0 0 Updated Sep 11, 2026
  • xhl Public
    formosa-crypto/xhl's past year of commit activity
    Rocq Prover 4 1 0 2 Updated Sep 7, 2026
  • formosa-keccak Public

    Implementation of Keccak and related functions (SHA3, SHAKE, etc.)

    formosa-crypto/formosa-keccak's past year of commit activity
    eC 5 3 1 3 Updated Jul 25, 2026
  • formosa-mlkem Public
    formosa-crypto/formosa-mlkem's past year of commit activity
    eC 21 15 3 3 Updated Jul 24, 2026
  • formosa-25519 Public

    Jasmin implementations of x25519

    formosa-crypto/formosa-25519's past year of commit activity
    eC 5 Apache-2.0 3 6 1 Updated Jul 22, 2026
  • libjade Public

    Crypto library

    formosa-crypto/libjade's past year of commit activity
    C 73 17 5 6 Updated Jul 22, 2026
  • formosa-mldsa-correctness Public
    formosa-crypto/formosa-mldsa-correctness's past year of commit activity
    eC 0 0 0 0 Updated Jul 18, 2026
  • arch-specs Public

    Spec files and fuzzing

    formosa-crypto/arch-specs's past year of commit activity
    OCaml 0 0 0 0 Updated Jul 13, 2026
  • formosa-xmss Public

    Jasmin implementations of XMSS

    formosa-crypto/formosa-xmss's past year of commit activity
    eC 2 Apache-2.0 0 0 2 Updated Jul 6, 2026
  • formosa-slhdsa Public
    formosa-crypto/formosa-slhdsa's past year of commit activity
    eC 0 MIT 0 0 0 Updated Jul 2, 2026
View all repositories

Top languages

Loading…

Most used topics

Loading…