- Bologna - Italy
-
-
RSA Public
Forked from RustCrypto/RSARSA implementation in pure Rust
Rust Apache License 2.0 UpdatedAug 20, 2024 -
-
winterfell Public
Forked from facebook/winterfellA STARK prover and verifier for arbitrary computations
Rust MIT License UpdatedMar 6, 2024 -
miden-vm Public
Forked from 0xMiden/miden-vmSTARK-based virtual machine
-
risc0 Public
Forked from risc0/risc0RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
C++ Apache License 2.0 UpdatedDec 8, 2023 -
rust Public
Forked from rust-lang/rustA safe, concurrent, practical language.
Rust Other UpdatedNov 18, 2023 -
-
-
-
portable-atomic Public
Forked from taiki-e/portable-atomicPortable atomic types including support for 128-bit atomics, atomic float, etc.
Rust Apache License 2.0 UpdatedNov 11, 2023 -
cargo Public
Forked from rust-lang/cargoThe Rust package manager
Rust Apache License 2.0 UpdatedNov 9, 2023 -
getrandom Public
Forked from rust-random/getrandomA small cross-platform library for retrieving random data from (operating) system source
Rust Apache License 2.0 UpdatedNov 7, 2023 -
critical-section Public
Forked from rust-embedded/critical-sectionPluggable critical section
Rust Apache License 2.0 UpdatedOct 22, 2023 -
-
-
-
-
Overwatch Public
Forked from logos-co/OverwatchSelf-contained services application framework
Rust Other UpdatedJan 17, 2023 -
chain-libs Public
Forked from input-output-hk/chain-libsblockchain libs
Rust Apache License 2.0 UpdatedNov 15, 2022 -
waku-rust-bindings Public
Forked from logos-messaging/logos-messaging-rust-bindingsRust wrapper over go-waku ffi
Rust UpdatedNov 2, 2022 -
-
jormungandr Public
Forked from input-output-hk/jormungandraspiring blockchain node
Rust Apache License 2.0 UpdatedSep 30, 2022 -
stream-ciphers Public
Forked from RustCrypto/stream-ciphersCollection of stream cipher algorithms
Rust UpdatedSep 11, 2022 -
utils Public
Forked from RustCrypto/utilsUtility crates used in RustCrypto
Rust UpdatedAug 23, 2022 -
-
catalyst-toolbox Public
Forked from input-output-hk/catalyst-toolboxCatalyst Tools, cli's and scripts related
Rust UpdatedJun 16, 2022 -
vit-testing Public
Forked from input-output-hk/vit-testingIncubator for catalyst related testing projects
Rust MIT License UpdatedMay 5, 2022 -
AEADs Public
Forked from RustCrypto/AEADsAuthenticated Encryption with Associated Data Algorithms: high-level encryption ciphers
Rust UpdatedApr 28, 2022 -
CIPs Public
Forked from cardano-foundation/CIPsCSS Creative Commons Attribution 4.0 International UpdatedApr 28, 2022