-
caliptra-rtl Public
Forked from chipsalliance/caliptra-rtlHW Design Collateral for Caliptra RoT IP
SystemVerilog Apache License 2.0 UpdatedJul 15, 2024 -
-
jasmin Public
Forked from jasmin-lang/jasminLanguage for high-assurance and high-speed cryptography
Coq MIT License UpdatedMar 14, 2024 -
nixpkgs Public
Forked from NixOS/nixpkgsNix Packages collection
Nix MIT License UpdatedJul 20, 2022 -
PQCrypto-SIKE Public
Forked from microsoft/PQCrypto-SIKEThis software is part of "Supersingular Isogeny Key Encapsulation", a submission to the NIST Post-Quantum Standardization project.
C MIT License UpdatedFeb 23, 2022 -
serde Public
Forked from serde-rs/serdeSerialization framework for Rust
Rust Apache License 2.0 UpdatedDec 9, 2021 -
pqriscv-vexriscv Public
Forked from mupq/pqriscv-vexriscvVexRiscv reference platforms for the pqriscv project
Scala UpdatedOct 12, 2021 -
VexRiscv Public
Forked from SpinalHDL/VexRiscvA FPGA friendly 32 bit RISC-V CPU implementation
Assembly MIT License UpdatedAug 26, 2021 -
PQCrypto-SIDH Public
Forked from microsoft/PQCrypto-SIDHSIDH Library is a fast and portable software library that implements state-of-the-art supersingular isogeny cryptographic schemes. The chosen parameters aim to provide security against attackers ru…
C MIT License UpdatedAug 25, 2021 -
spring Public
Forked from spring/springA powerful free cross-platform RTS game engine
C++ Other UpdatedAug 10, 2021 -
swaylock-effects Public
Forked from TaiBa131/swaylock-effectsSwaylock, with fancy effects
C MIT License UpdatedMay 8, 2021