Pinned Repositories
agda
Agda is a dependently typed programming language / interactive theorem prover.
asn1-agda
Simple ASN1 in agda
bee-rfcs
RFCs to changes to Bee
bee2
A cryptographic library
bee2-agda
Agda FFI bindings to Haskell [bee2-hs](https://github.com/semenov-vladyslav/bee2-hs.git) library.
bee2-hs
Haskell FFI bindings to [bee2](https://github.com/agievich/bee2) library.
bstd
Implementation of Belarusian crypto standards in Agda
bytes-agda
Agda FFI bindings to Haskell ByteString and Word8.
cry-agda
Dummy cryptography in Agda
curl
semenov-vladyslav's Repositories
semenov-vladyslav/curl
semenov-vladyslav/bstd
Implementation of Belarusian crypto standards in Agda
semenov-vladyslav/agda
Agda is a dependently typed programming language / interactive theorem prover.
semenov-vladyslav/asn1-agda
Simple ASN1 in agda
semenov-vladyslav/bee-rfcs
RFCs to changes to Bee
semenov-vladyslav/bee2
A cryptographic library
semenov-vladyslav/bee2-agda
Agda FFI bindings to Haskell [bee2-hs](https://github.com/semenov-vladyslav/bee2-hs.git) library.
semenov-vladyslav/bee2-hs
Haskell FFI bindings to [bee2](https://github.com/agievich/bee2) library.
semenov-vladyslav/bytes-agda
Agda FFI bindings to Haskell ByteString and Word8.
semenov-vladyslav/cry-agda
Dummy cryptography in Agda
semenov-vladyslav/crypto.rs
The canonical source of cryptographic ground-truth for IOTA projects that use Rust.
semenov-vladyslav/curve25519-dalek
A pure-Rust implementation of group operations on Ristretto and Curve25519
semenov-vladyslav/divp-hs
`map (*P) [1,3..d]` where `P` in EC(Fp)
semenov-vladyslav/documentation
This is where we host content for the documentation portal
semenov-vladyslav/ed25519-dalek
Fast and efficient ed25519 signing and verification in Rust.
semenov-vladyslav/ed25519-zebra
Zcash-flavored Ed25519 for use in Zebra.
semenov-vladyslav/either
semenov-vladyslav/entangled
enTangle'd is an amalgamation of all things Tangle
semenov-vladyslav/Example-streams-subscriber
An example Implementation of a real-time streams subscriber
semenov-vladyslav/iota.rs
Alpha version of the official IOTA Rust library.
semenov-vladyslav/move
semenov-vladyslav/reading0
semenov-vladyslav/risc0
RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
semenov-vladyslav/shared_ptr_with_log
std::shared_ptr + Boost.Log
semenov-vladyslav/slots-agda
Slot games calculations in agda
semenov-vladyslav/Streams-Examples
Examples of IOTA Streams
semenov-vladyslav/streams-gateway-core
The Core Component holding all the logic to send Data to the IOTA-Tangle over Streams
semenov-vladyslav/tips
Tangle Improvement Proposals for the IOTA technology stack.