Home

You are all welcome to the Haskell Plutus for Universities/Colleges.

Code It Right With Plutus Code : Music & Dance Challenge for Universities/Collegues Students

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. Fungible 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
• students contribute to Cardano Open Source Intersect github activities(fork, pull requests, commits, developer experince, etc)

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 is university/college students from First Year to Final Year, Postgraduates, and researchers.
2. Students must have or be studying the following: Mathematics, Logic, Computer Science, Finance, Web Development, proficiency in manipulating Data Structures & Algorithms, Full-stack Development, Software Engineering, and similar fields or must have these as part of their modules in their disciplines.
3. Very strong research skills and high commitment to overcome challenges, applying themselves to new technologies without giving up.
4. Access to reliable internet, relevant and effective hardware resources, and a commitment to dedicate many hours to self-paced activities.
5. University/College details for your profile: Complete this Google [Enrollment Form](https://forms.gle/SRfNLuJJ3nFCA9iq9). Information will be kept private and confidential and will be used only for this training and on-chain credential CNFT.
6. Knowledge and usage of Cardano wallets (Preprod/Preview/Mainnet), secret key management, test ADA; suggested wallets include Nami, Lace, Eternl, and others. For more information, visit:
   • [Types of Wallets](https://docs.cardano.org/about-cardano/new-to-cardano/types-of-wallets)
   • [Faucet Tools](https://docs.cardano.org/cardano-testnets/tools/faucet)
7. Extreme Abstract Problem Solving (EABS): This requires mental stamina, akin to being a mental juggler of infinite abstract objects. Haskell will challenge you in this domain, along with eUTXO, Plutus, Cardano, and other problems that will come your way. Quite often, in videos or presentations, you will hear them say: "it's easy." Take it to mean the opposite!
8. Developer Environment Management: Install Linux (CLI commands, shell scripting), GHC (Haskell Compiler), Haskell package managers/tools (Nix, Cabal, Stack, etc.), version control (GitHub/Git), Docker, Windows Subsystem for Linux, VS Code editor, online Haskell compilers, and GitHub collaboration (Peer Reviews, Pull Requests, Merging, Commits, Forks, Git commands, Pipelining, Deployment, etc.).
   • Rationale: Students must be able to work on any open-source Cardano project without constraints or issues. (Cardano Intersect has open-source jobs, both unpaid and paid, as do many other Cardano communities). Developer tooling and environment setup will not be taught: All participants must already be proficient in these before joining.

NOTE: If you do not meet the above but you are passionate about learning Cardano Skills, then be committed and join because this will boost your developer skills and make you one of the world's top 5%.

Output expectation for each qualifying university/college:

• at least 20 students complete the journey
• each university to produce and show case at least (2) Real World Applications(RWA) using Haskell Plutus. Each RWA application must have Onchain & Offchain integrated working code on preproduction testnet
• each RWA have property based testing Haskell Plutus code and implement Formal source code Proofs
• licensing must be open source : MIT, Creative Commons, etc

F: Haskell Self Paced Interactive Activities

1. Complete these IOG Haskell activities : 1 - 19 If the above course is not opening, then use this WIMS Repository
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 Ledger APIs : V1, V2, V3
8. PlutusTx Prelude
9. Smart Contract Guided Tutorials Weeks(1-8,10)
10. 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