Home

Welcome to the Haskell Plutus for universities/Colleges.

A: Introduction

B: Aim

The vision of this project is to grow Cardano developer ecosystem and also to upskill universities/colleges students in Web 3 Cardano Smart Contract development.

C: Ojectives

• students create blockchain asserts e.g. Fungle Tokens, Non Fungible Tokens
• students create onchain Smart Contracts with Haskell Plutus
• students gain basic knowledge of Cardano ecosystem technologies: CIP1694, Midnight and Midgard(Hydra)
• upskill students on problem solving skills and functional programming
• provide live support and collaboration with Intersect MBO Developer Advoate Program

D: Live Support and Contact Details:

1. Join telegram for 24/7 live support https://t.me/coxygenglobal
2. Join discord at https://discord.gg/RxrhMgnSb4

E: Pre-requisites

In order to avoid frustrations, students getting lost, misinformation or confusions, these are the prerequisites:

1. The target audience for this project are universities/colleges students First Year to Last Year, Post Graduates and researchers
2. Students must have or must be doing these : Mathematics, Logic, Computer Science, Finance, Web Development, Software Engineering, and the like or must be having these as part of their modules in their disciplines.
3. Very strong research skills and high commitment to withstand challenges, applying yourselves to new technologies without giving up
4. Access to reliable internet and having relevant effective hardware resources and committed to put at many hours on self paced activities
5. University/College details for your Profile : Complete This Google Enrollment Form. Information will be kept private and secret and will be used for this training and onchain credential CNFT.
6. Knowledge and usage of Cardano wallets(preprod/preview/mainnet), secret keys management, test ADA, suggested wallets nami, lace, eternl, and others https://docs.cardano.org/about-cardano/new-to-cardano/types-of-wallets, https://docs.cardano.org/cardano-testnets/tools/faucet
7. Extreme Abstract Problem Solving(EABS) : this requires you to have mental stamina, a sort of being a mental juggler of infinite abstract objects: not only will Haskell through you to this Hell but eUTXO, Plutus, Cardano and not the list problems to solve coming your way. Quite often, in videos/presentations you will hear them say:it's easy. Take it to mean the opposite!

F: Haskell Self Paced Interactive Activities

1. Complete these IOG Haskell activities : 1 - 19
2. Cardano Architecture
3. IntersectMBO Plutus User Guide
4. Plutus Core Specification
5. COQ Smart Contract Formal Verification Framework - M1
6. UntypedPlutusCore Evaluation Machine Cek
7. Plutus Documentatios Intersect MBO
8. Plutus Ledger APIs : V1, V2, V3
9. PlutusTx Prelude
10. Smart Contract Guided Tutorials Weeks(1-8,10)
11. Practicals Smart Contract Demos Onchain & Offchain

---

By Bernard Sibanda 10-01-2025 - cto@wims.io, cto@coxygen.co, +27 73 182 0631 dicord : @wims5274, X: @wimscardano, telegram : @coxygenglobal