cryspen/libcrux

The formally verified crypto library for Rust

GitHub repository with 237 stars and 49 forks.

Language: C

Topics: cryptography, encryption, formal-verification, signatures

Open provider repository

24h trend summary

Trending score 0.48, activity score 0.04, stars gained +2, forks gained +0.

Latest metric snapshot

2026-06-02: 237 stars and 49 forks.

Similar repositories

  1. 1. polhenarejos/pico-fido

    FIDO Passkey for Raspberry Pico and ESP32

    GitHub repository with 1,224 stars and 196 forks.

    Trending score: 0.88; stars gained: +4; forks gained: +0.

    Language: C

    Topics: cryptography, fido, fido-u2f, fido2, firmware, raspberry-pi-pico

  2. 2. X-3306/Project-Onyx

    Advanced EDR Evasion via AI Telemetry Spoofing & WASM Sandboxing. Project Onyx is a PoC Red Team pipeline designed to demonstrate advanced evasion techniques against modern EDR systems. It shifts away from traditional signature-based obfuscation towards behavioral camouflage and strict environmental keying.

    GitHub repository with 98 stars and 12 forks.

    Trending score: 0.74; stars gained: +5; forks gained: +1.

    Language: C

    Topics: ai, av-bypass, chain, cpp, cryptography, edr-evasion

  3. 3. wolfSSL/wolfssl

    The wolfSSL library is a small, fast, portable implementation of TLS/SSL for embedded devices to the cloud. wolfSSL supports up to TLS 1.3 and DTLS 1.3! Update to wolfSSL 5.9.1 for the latest CVE fixes.

    GitHub repository with 2,847 stars and 985 forks.

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

    Language: C

    Topics: c-library, cipher-suites, cryptography, cryptography-api, dtls, embedded-systems

  4. 4. 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

  5. 5. openHiTLS/openHiTLS

    openhitls

    GitHub repository with 98 stars and 47 forks.

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

    Language: C

    Topics: classic-mceliece, cryptography, frodokem, ml-dsa, ml-kem, pqc

  6. 6. aws/s2n-tls

    An implementation of the TLS/SSL protocols

    GitHub repository with 4,731 stars and 783 forks.

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

    Language: C

    Topics: tls, ssl, s2n, encryption, c, c99

Trending in C

  1. 1. antirez/ds4

    DeepSeek 4 Flash local inference engine for Metal and CUDA

    GitHub repository with 12,981 stars and 1,130 forks.

    Trending score: 3.46; stars gained: +74; forks gained: +5.

    Language: C

  2. 2. netdata/netdata

    The fastest path to AI-powered full stack observability, even for lean teams.

    GitHub repository with 79,065 stars and 6,456 forks.

    Trending score: 3.03; stars gained: +25; forks gained: +4.

    Language: C

    Topics: ai, alerting, cncf, data-visualization, database, devops

  3. 3. vercel-labs/zerolang

    The programming language for agents

    GitHub repository with 4,874 stars and 315 forks.

    Trending score: 2.75; stars gained: +27; forks gained: +4.

    Language: C

  4. 4. HermannBjorgvin/Clawdmeter

    ESP32 desk dashboard that shows Claude Code usage

    GitHub repository with 1,532 stars and 182 forks.

    Trending score: 2.63; stars gained: +24; forks gained: +5.

    Language: C

  5. 5. Unclecheng-li/poc-lab

    Recent CVE PoC & reproduction scripts. Focused on high-severity vulnerabilities across Linux kernel, Windows, macOS and more.

    GitHub repository with 490 stars and 84 forks.

    Trending score: 2.27; stars gained: +20; forks gained: +2.

    Language: C

    Topics: c, cybersecurity, linux, poc, python, python3

  6. 6. eunomia-bpf/agentsight

    Zero instrucment system-level AI agent tracing in eBPF

    GitHub repository with 408 stars and 59 forks.

    Trending score: 2.26; stars gained: +23; forks gained: +2.

    Language: C

    Topics: agent, ebpf, llm, observability

Trending topic: cryptography

  1. 1. bitcoin/bitcoin

    Bitcoin Core integration/staging tree

    GitHub repository with 89,258 stars and 38,982 forks.

    Trending score: 1.44; stars gained: +13; forks gained: -1.

    Language: C++

    Topics: bitcoin, c-plus-plus, p2p, cryptocurrency, cryptography

  2. 2. polhenarejos/pico-fido

    FIDO Passkey for Raspberry Pico and ESP32

    GitHub repository with 1,224 stars and 196 forks.

    Trending score: 0.88; stars gained: +4; forks gained: +0.

    Language: C

    Topics: cryptography, fido, fido-u2f, fido2, firmware, raspberry-pi-pico

  3. 3. bcgit/bc-csharp

    BouncyCastle.NET Cryptography Library (Mirror)

    GitHub repository with 1,897 stars and 599 forks.

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

    Language: C#

    Topics: bouncycastle, cryptography, dtls, encryption, open-source, openpgp

  4. 4. X-3306/Project-Onyx

    Advanced EDR Evasion via AI Telemetry Spoofing & WASM Sandboxing. Project Onyx is a PoC Red Team pipeline designed to demonstrate advanced evasion techniques against modern EDR systems. It shifts away from traditional signature-based obfuscation towards behavioral camouflage and strict environmental keying.

    GitHub repository with 98 stars and 12 forks.

    Trending score: 0.74; stars gained: +5; forks gained: +1.

    Language: C

    Topics: ai, av-bypass, chain, cpp, cryptography, edr-evasion

  5. 5. wolfSSL/wolfssl

    The wolfSSL library is a small, fast, portable implementation of TLS/SSL for embedded devices to the cloud. wolfSSL supports up to TLS 1.3 and DTLS 1.3! Update to wolfSSL 5.9.1 for the latest CVE fixes.

    GitHub repository with 2,847 stars and 985 forks.

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

    Language: C

    Topics: c-library, cipher-suites, cryptography, cryptography-api, dtls, embedded-systems

  6. 6. bee-san/Ciphey

    ⚡ Automatically decrypt encryptions without knowing the key or cipher, decode encodings, and crack hashes ⚡

    GitHub repository with 21,437 stars and 1,439 forks.

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

    Language: Rust

    Topics: decryption, natural-language-processing, cryptography, cipher, artificial-intelligence, ctf-tools