pq-code-package/mldsa-native

Secure, fast, and portable C90 implementation of ML-DSA / FIPS 204

GitHub repository with 85 stars and 46 forks.

Language: Assembly

Topics: formal-verification, ml-dsa, post-quantum-cryptography, post-quantum-signature

Open provider repository

24h trend summary

Trending score 0.05, activity score 0.05, stars gained +0, forks gained +1.

Latest metric snapshot

2026-06-05: 85 stars and 46 forks.

Similar repositories

  1. 1. pq-code-package/mldsa-native

    Secure, fast, and portable C90 implementation of ML-DSA / FIPS 204

    GitHub repository with 85 stars and 46 forks.

    Trending score: 0.05; stars gained: +0; forks gained: +1.

    Language: Assembly

    Topics: formal-verification, ml-dsa, post-quantum-cryptography, post-quantum-signature

Trending in Assembly

  1. 1. dwg-and-dogs/PLC_Polished

    Pokemon Crystal: Inheritance

    GitHub repository with 12 stars and 2 forks.

    Trending score: 0.50; stars gained: +2; forks gained: +0.

    Language: Assembly

  2. 2. livekit/rust-sdks

    LiveKit realtime and server SDKs for Rust

    GitHub repository with 443 stars and 178 forks.

    Trending score: 0.32; stars gained: +1; forks gained: +1.

    Language: Assembly

    Topics: rust, webrtc, crossplatform, bindings, libwebrtc

  3. 3. nidud/asmc

    Masm compatible assembler

    GitHub repository with 85 stars and 11 forks.

    Trending score: 0.32; stars gained: +1; forks gained: +0.

    Language: Assembly

    Topics: assembler, avx, avx-512, linux, masm, sse

  4. 4. pulchart/fat95

    fat95 - Win95/98 compatible file system. Fork of https://aminet.net/package/disk/misc/fat95

    GitHub repository with 8 stars and 3 forks.

    Trending score: 0.32; stars gained: +1; forks gained: +0.

    Language: Assembly

    Topics: amiga, amigaos, fat-filesystem, fat32, filesystem

  5. 5. openhwgroup/cva6

    The CORE-V CVA6 is a highly configurable, 6-stage RISC-V core for both application and embedded applications. Application class configurations are capable of booting Linux.

    GitHub repository with 2,954 stars and 955 forks.

    Trending score: 0.31; stars gained: +0; forks gained: +0.

    Language: Assembly

  6. 6. wwarthen/RomWBW

    System Software for Z80/Z180/Z280 Computers

    GitHub repository with 413 stars and 118 forks.

    Trending score: 0.25; stars gained: +0; forks gained: +0.

    Language: Assembly

    Topics: romwbw, z80, cpm, disk-image, zsdos, cpm3

Trending topic: formal-verification

  1. 1. Robby955/FormalSLT

    Zero-sorry Lean 4 library: finite-sample SLT bounds, sharp McDiarmid, PAC-Bayes Bernstein margin shell, and Dudley chaining. Standard Lean/Mathlib axioms only.

    GitHub repository with 33 stars and 1 forks.

    Trending score: 0.90; stars gained: +7; forks gained: +0.

    Language: Lean

    Topics: lean4, machine-learning, mathematics, pac-learning, statistical-learning, theorem-proving

  2. 2. p-org/P

    The P programming language.

    GitHub repository with 3,622 stars and 218 forks.

    Trending score: 0.70; stars gained: +2; forks gained: +0.

    Language: C#

    Topics: asynchronous, programming-language, systematic-testing, event-driven, p, distributed-systems

  3. 3. jasisz/aver

    Aver is a programming language for auditable AI-written code

    GitHub repository with 47 stars and 0 forks.

    Trending score: 0.61; stars gained: +3; forks gained: +0.

    Language: Rust

    Topics: ai-code, dafny, effect-system, formal-verification, lean4, programming-language

  4. 4. AeneasVerif/charon

    Analyze Rust crates without touching compiler internals

    GitHub repository with 357 stars and 43 forks.

    Trending score: 0.49; stars gained: +2; forks gained: +1.

    Language: Rust

    Topics: compiler, formal-methods, formal-verification, program-verification, rust, rust-lang

  5. 5. cryspen/libcrux

    The formally verified crypto library for Rust

    GitHub repository with 237 stars and 49 forks.

    Trending score: 0.48; stars gained: +2; forks gained: +0.

    Language: C

    Topics: cryptography, encryption, formal-verification, signatures

  6. 6. awslabs/AutoCorrode

    Verification infrastructure for the Isabelle/HOL interactive proof assistant

    GitHub repository with 87 stars and 17 forks.

    Trending score: 0.14; stars gained: +0; forks gained: +0.

    Language: Isabelle

    Topics: formal-verification, isabelle-hol, proof-automation, rust