RustMania

Metaco SAAmsterdam

Pinned Repositories

crypto-bigint
Language:Rust00
FStar
Verification system for effectful programs
Language:F*00
haskell-crypto
Language:Haskell0 1 20
indy-sdk
Language:Rust0 0 01
ithaca
payment engine demo in Rust
Language:Rust0 1 00
nix
Rust friendly bindings to *nix APIs
Language:Rust0 0 00
rainbow-submission-round2
Rainbow signature system for Round THREE submission
Language:C0 0 00
rust-paillier
A pure-Rust implementation of the Paillier encryption scheme
Language:Rust00
threshold-signatures
Threshold Signature Scheme for ECDSA
Language:Rust1 1 01

RustMania's Repositories

RustMania/threshold-signatures
Threshold Signature Scheme for ECDSA
Language:Rust1 1 01
RustMania/crypto-bigint
Language:Rust00
RustMania/FStar
Verification system for effectful programs
Language:F*00
RustMania/haskell-crypto
Language:Haskell0 1 20
RustMania/indy-sdk
Language:Rust0 0 01
RustMania/ithaca
payment engine demo in Rust
Language:Rust0 1 00
RustMania/nix
Rust friendly bindings to *nix APIs
Language:Rust0 0 00
RustMania/rainbow-submission-round2
Rainbow signature system for Round THREE submission
Language:C0 0 00
RustMania/rust-paillier
A pure-Rust implementation of the Paillier encryption scheme
Language:Rust00
RustMania/rust-sgx-sdk
Rust SGX SDK provides the ability to write Intel SGX applications in Rust Programming Language.
Language:Rust0 0 00
RustMania/rust-zmq
Rust zeromq bindings.
Language:Rust0 0 00
RustMania/test
1 0
RustMania/tokio-serde