semenov-vladyslav Goto Github PK

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

crypto.rs

The canonical source of cryptographic ground-truth for IOTA projects that use Rust.

curl

curve25519-dalek

A pure-Rust implementation of group operations on Ristretto and Curve25519

divp-hs

`map (*P) [1,3..d]` where `P` in EC(Fp)

documentation

This is where we host content for the documentation portal

ed25519-dalek

Fast and efficient ed25519 signing and verification in Rust.

ed25519-zebra

Zcash-flavored Ed25519 for use in Zebra.

either

entangled

enTangle'd is an amalgamation of all things Tangle

example-streams-subscriber

An example Implementation of a real-time streams subscriber

iota.rs

Alpha version of the official IOTA Rust library.

move

reading0

shared_ptr_with_log

std::shared_ptr + Boost.Log

slots-agda

Slot games calculations in agda

streams-examples

Examples of IOTA Streams

streams-gateway-core

The Core Component holding all the logic to send Data to the IOTA-Tangle over Streams

tips

Tangle Improvement Proposals for the IOTA technology stack.