Skip to content
View semenov-vladyslav's full-sized avatar
9 followers · 0 following

Achievements

Achievement: Pair ExtraordinaireAchievement: Pull Sharkx2Achievement: Starstruckx2Achievement: Arctic Code Vault Contributor

Achievements

Achievement: Pair ExtraordinaireAchievement: Pull Sharkx2Achievement: Starstruckx2Achievement: Arctic Code Vault Contributor

Block or report semenov-vladyslav

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

  • risc0 Public

    Forked from risc0/risc0

    RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.

    C++ Apache License 2.0 Updated Aug 22, 2024

  • reading0 Public

    Rust Apache License 2.0 Updated Aug 29, 2023

  • move Public

    Forked from move-language/move
    Rust Apache License 2.0 Updated Aug 29, 2023

  • iota.rs Public

    Forked from iotaledger/iota.rs

    Alpha version of the official IOTA Rust library.

    Rust Apache License 2.0 Updated Jul 19, 2023

  • crypto.rs Public

    Forked from iotaledger/crypto.rs

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

    Rust Updated Jul 13, 2023

  • ed25519-zebra Public

    Forked from ZcashFoundation/ed25519-zebra

    Zcash-flavored Ed25519 for use in Zebra.

    Rust Apache License 2.0 Updated Jul 5, 2023

  • curve25519-dalek Public

    Forked from dalek-cryptography/curve25519-dalek

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

    Rust Other Updated Mar 9, 2023

  • ed25519-dalek Public

    Forked from dalek-cryptography/ed25519-dalek

    Fast and efficient ed25519 signing and verification in Rust.

    Rust BSD 3-Clause "New" or "Revised" License Updated Mar 8, 2023

  • tips Public

    Forked from iotaledger/tips

    Tangle Improvement Proposals for the IOTA technology stack.

    Shell Apache License 2.0 Updated Feb 19, 2023

  • Streams-Examples Public

    Forked from jmcanterafonseca-iota/Streams-Examples

    Examples of IOTA Streams

    Rust Updated Apr 22, 2021

  • bee2 Public

    Forked from agievich/bee2

    A cryptographic library

    C GNU General Public License v3.0 Updated Nov 5, 2020

  • Example-streams-subscriber Public

    Forked from iot2tangle/Example-streams-subscriber

    An example Implementation of a real-time streams subscriber

    Rust Apache License 2.0 Updated Oct 27, 2020

  • streams-gateway-core Public

    Forked from iot2tangle/streams-gateway-core

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

    Rust Apache License 2.0 Updated Oct 27, 2020

  • documentation Public

    Forked from Jshaffer7390/documentation

    This is where we host content for the documentation portal

    JavaScript Creative Commons Attribution 4.0 International Updated Sep 12, 2020

  • entangled Public

    Forked from iotaledger/entangled

    enTangle'd is an amalgamation of all things Tangle

    C Apache License 2.0 Updated Dec 19, 2019

  • bee-rfcs Public

    Forked from iotaledger/bee-rfcs

    RFCs to changes to Bee

    Apache License 2.0 Updated Oct 25, 2019

  • curl Public

    C 2 1 Updated Aug 29, 2019

  • shared_ptr_with_log Public

    std::shared_ptr + Boost.Log

    C++ Updated Feb 21, 2019

  • either Public

    C++ Updated Feb 21, 2019

  • agda Public

    Forked from agda/agda

    Agda is a dependently typed programming language / interactive theorem prover.

    Haskell Other Updated Oct 19, 2018

  • slots-agda Public

    Slot games calculations in agda

    Agda MIT License Updated May 11, 2018

  • divp-hs Public

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

    C MIT License Updated Apr 11, 2018

  • cry-agda Public

    Dummy cryptography in Agda

    Agda MIT License Updated Jan 2, 2018

  • bstd Public

    Implementation of Belarusian crypto standards in Agda

    Agda 1 MIT License Updated Jan 2, 2018

  • bytes-agda Public

    Agda FFI bindings to Haskell ByteString and Word8.

    Agda MIT License Updated Jan 2, 2018

  • asn1-agda Public

    Simple ASN1 in agda

    Agda MIT License Updated Dec 30, 2017

  • bee2-agda Public

    Agda FFI bindings to Haskell [bee2-hs](https://github.com/semenov-vladyslav/bee2-hs.git) library.

    Agda MIT License Updated Dec 30, 2017

  • bee2-hs Public

    Haskell FFI bindings to [bee2](https://github.com/agievich/bee2) library.

    Haskell MIT License Updated Dec 30, 2017