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