Skip to content
View RSoulatIOHK's full-sized avatar

Highlights

  • Pro

Block or report RSoulatIOHK

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

Popular repositories Loading

  1. cardano-c-cbmc cardano-c-cbmc Public

    Forked from Biglup/cardano-c

    Cardano C but with CBMC proofs

    C 1

  2. Certification-working-group Certification-working-group Public

    Forked from input-output-hk/Certification-working-group

  3. plutus-apps plutus-apps Public

    Forked from Ali-Hill/plutus-apps

    The Plutus application platform

    Haskell

  4. CIPs CIPs Public

    Forked from cardano-foundation/CIPs

    JavaScript

  5. plutus-pioneer-program plutus-pioneer-program Public

    Forked from input-output-hk/plutus-pioneer-program

    This repository hosts the lectures of the Plutus Pioneers Program. This program is a training course that the IOG Education Team provides to recruit and train software developers in Plutus, the nat…

    Haskell

  6. ptt_documentation ptt_documentation Public

    Docusaurus documentation of PTT

    HTML