Skip to content

Home

Jump to bottom
Bernard Sibanda edited this page Jun 2, 2025 · 83 revisions

image

The above picture is for the First Plutus Pioneer Program under Dr Lars. All the developers there were hard workers. Let us put more effort and be future Cardano Key Engineers!

1. Language : English

image

Once more,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

We are currently running a project approved under Project Catalyst to onboard 16 universities globally. This represents a unique opportunity for your College to be a pioneer and take part in this impactful program.

Cardano is home to Project Catalyst, the world's largest decentralized innovation engine, designed to solve real-world challenges through community-driven projects.

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)
  • promote Cardano communities products, services because they funded this by voting for it. Essential communities list is endless but just to mention a few :- Cardano Foundation, IOG, Intersect, Stakepool Operators, Cardano Developers,Emurgo, Gimbalabs, Cardano Communities globally, etc.

D: Live Support and Contact Details:

  1. Join telegram for 24/7 live support https://t.me/coxygenglobal

image

We have established three UTC zones for Haskell Plutus daily sessions: A: -8 to -3 UTC, B: 0 to +5 UTC and C: +6 to +11 UTC

Live session are on freeconference call and link and code is : https://www.freeconferencecall.com/wall/coxygen/ and the login code is 676767

  1. Join discord at https://discord.gg/RxrhMgnSb4

  2. Motivational Incentives based on Open Source Haskell Plutus source code and/or related activites(marketing, coordination, group leaders etc): Figures are in $-USD but paid in ADA/USDT/Fiat-where possible.

image

The above figures might be revised anytime, keep checking here.

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.. Many interested students lack Computer/Laptop Hardware Resources and even Data and 5/6G network: Suggestions-Print Material and use paper and pen (The old school)
  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:
  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%.

  1. Below are free Udemy courses to help you get some basics on computers:

Computer Basics Udemy Courses for Beginners

https://www.udemy.com/course/build-a-computer-101-free/

https://www.udemy.com/course/computer-architecture-an-introduction/

https://www.udemy.com/course/computer-literacy-essential-applications-for-everyday-use/

https://www.udemy.com/course/programming-101/

html

  1. Cardano Wallets

https://docs.cardano.org/about-cardano/new-to-cardano/types-of-wallets

  1. Cardano Faucet

https://docs.cardano.org/cardano-testnets/tools/faucet

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

F: Haskell Self Paced Interactive Activities

  1. (I). Complete these IOG Haskell activities : 1 - 19 a) English Version b) French Version

  2. (II) Or Complete Dostrelith([EDEN] Garden Pool) Short Simplified Haskell Tutorials c) English, Videos d) French

Chapters below are optional : Chapter [4 - 7] --- START

  1. Cardano Architecture | Cardano Blockchain Certified Associate (CBCA) from Cardano Foundation
  2. IntersectMBO Plutus User Guide
  3. Plutus Core Specification
  4. COQ Smart Contract Formal Verification Framework - M1
  5. UntypedPlutusCore Evaluation Machine Cek

Fin des chapitres facultatifs [4 - 7] --- FIN

Chapter 4 - 7 Replacement Introduction to Plutus : https://haskell-plutus.gitbook.io/coxygen-global

  1. Plutus Ledger APIs : V1, V2, V3,PlutusTx Prelude
  2. Smart Contract Guided Tutorials Weeks(1-8,10) Skip sections on : a) Use of Playground for testing, b) Plutus Application Backend(PAB)
  3. Videos Plutus Pioneer Program Iteration 4 IOG Academy(Lecture 1 - 10)
  4. Practicals Smart Contract Demos Onchain & Offchain, Each University/College produce 2 working demos - RWAs using Haskell Plutus.
  5. Cardano Trending Technologies: Each university/College show case CIP-1694, Midnight and Hydra or Midgard technologies

G: Optional Cardano Upgrades:

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

NOTE : Content above may be changed at anytime without notice. Please keep checking here for updates.

2. Language : French

image

Vous êtes tous les bienvenus au programme Haskell Plutus pour Universités/Collèges.

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

A: Introduction

Nous menons actuellement un projet approuvé dans le cadre de Project Catalyst pour intégrer 16 universités à travers le monde. Cela représente une opportunité unique pour votre établissement de devenir un pionnier en participant à ce programme à fort impact.

Cardano est le foyer de Project Catalyst, le plus grand moteur d’innovation décentralisée au monde, conçu pour résoudre des défis réels grâce à des projets dirigés par la communauté.

B: Objectif

La vision de ce projet est de développer l’écosystème de développeurs Cardano et d’améliorer les compétences des étudiants d’universités/collèges dans le développement de Smart Contracts Web 3 sur Cardano.

C: Objectifs

  • les étudiants créent des actifs blockchain, par exemple des jetons fongibles et non fongibles
  • les étudiants développent des Smart Contracts onchain avec Haskell Plutus
  • les étudiants acquièrent des connaissances de base des technologies de l’écosystème Cardano : CIP1694, Midnight et Midgard (Hydra)
  • améliorer les compétences des étudiants en résolution de problèmes et en programmation fonctionnelle
  • fournir un support en direct et une collaboration avec le programme Intersect MBO Developer Advocate
  • les étudiants contribuent aux activités GitHub open source d’Intersect pour Cardano (forks, pull requests, commits, expérience développeur, etc.)
  • promouvoir les produits et services des communautés Cardano qui ont financé ce projet par le vote. La liste des communautés est vaste, incluant : Cardano Foundation, IOG, Intersect, opérateurs de Stakepool, développeurs Cardano, Emurgo, Gimbalabs, et les communautés Cardano du monde entier.

D: Support en direct et coordonnées :

  1. Rejoindre le groupe Telegram pour un support en direct 24/7 : https://t.me/coxygenglobal

image

Nous avons défini trois zones UTC pour les sessions quotidiennes Haskell Plutus : A : -8 à -3 UTC, B : 0 à +5 UTC, et C : +6 à +11 UTC

Les sessions en direct se tiennent sur FreeConferenceCall. Le lien et le code sont :
https://www.freeconferencecall.com/wall/coxygen/ et le code d'accès est 676767

  1. Rejoindre le serveur Discord : https://discord.gg/RxrhMgnSb4

  2. Incitations motivantes basées sur le code source Haskell Plutus Open Source et/ou des activités associées (marketing, coordination, responsables de groupes, etc.) : les montants sont en $USD mais versés en ADA/USDT/Fiat lorsque possible.

image

Les montants ci-dessus peuvent être révisés à tout moment, veuillez consulter régulièrement.

E: Prérequis

Afin d’éviter les frustrations, la perte d'information, la désinformation ou la confusion, voici les prérequis :

  1. Le public cible de ce projet est les étudiants d’universités/collèges de la première à la dernière année, les postgraduates et les chercheurs.
  2. Les étudiants doivent avoir étudié ou être en train d’étudier les matières suivantes : Mathématiques, Logique, Informatique, Finance, Développement Web, Structures de données et Algorithmes, Développement Full-stack, Génie logiciel, ou avoir ces modules dans leur programme.
  3. Excellentes compétences en recherche et un fort engagement à relever les défis, à s’impliquer dans de nouvelles technologies sans abandonner.
  4. Accès à un internet fiable, des ressources matérielles pertinentes et efficaces, et l’engagement à consacrer beaucoup de temps aux activités en autonomie. De nombreux étudiants intéressés manquent de ressources matérielles (ordinateur/portable) et même d’accès à des données ou à un réseau 5G/6G.Suggestions : fournir des supports imprimés et encourager l’utilisation du papier et du stylo (à l’ancienne).
  5. Détails de l’université/collège pour votre profil : Remplir ce formulaire Google Enrollment Form Les informations resteront privées et utilisées uniquement pour cette formation et l’émission d’un certificat on-chain CNFT.
  6. Connaissances et utilisation des portefeuilles Cardano (Preprod/Preview/Mainnet), gestion des clés secrètes, test ADA ; portefeuilles suggérés : Nami, Lace, Eternl, etc. Pour plus d’informations, visitez :
    -Types of Wallets -Faucet Tools
  7. Résolution de problèmes abstraits extrêmes (EABS) : cela exige de l’endurance mentale, comme jongler avec une infinité d’objets abstraits. Haskell vous mettra au défi, tout comme eUTXO, Plutus, Cardano et autres problématiques. Souvent dans les vidéos ou présentations, on vous dira « c’est facile ». Cela signifie généralement le contraire !
  8. Gestion de l’environnement de développement : installer Linux (commandes CLI, scripting shell), GHC (compilateur Haskell), gestionnaires Haskell (Nix, Cabal, Stack, etc.), contrôle de version (GitHub/Git), Docker, WSL, éditeur VS Code, compilateurs Haskell en ligne, collaboration GitHub (revues, pull requests, fusions, commits, forks, commandes Git, pipelines, déploiement, etc.).
    • Justification : les étudiants doivent pouvoir contribuer à tout projet Cardano open source sans obstacles. (Intersect et d’autres communautés Cardano proposent des contributions open source rémunérées et non rémunérées). La configuration de l’environnement développeur ne sera pas enseignée : tous les participants doivent être déjà compétents.

REMARQUE : Si vous ne remplissez pas les conditions ci-dessus mais que vous êtes passionné par l’apprentissage des compétences Cardano, alors soyez engagé et rejoignez, car cela renforcera vos compétences de développeur et vous placera potentiellement dans le top 5 % mondial.

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
  1. Below are free Udemy courses to help you get some basics on computers:

Computer Basics Udemy Courses for Beginners

https://www.udemy.com/course/build-a-computer-101-free/

https://www.udemy.com/course/computer-architecture-an-introduction/

https://www.udemy.com/course/computer-literacy-essential-applications-for-everyday-use/

https://www.udemy.com/course/programming-101/

html

  1. Cardano Wallets

https://docs.cardano.org/about-cardano/new-to-cardano/types-of-wallets

  1. Cardano Faucet

https://docs.cardano.org/cardano-testnets/tools/faucet

F: Haskell Self Paced Interactive Activities

  1. Complete these IOG Haskell activities : 1 - 19 a) English Version b) French Version

  2. (II) Or Complete Dostrelith(dostrelith678) Short Simplified Haskell Tutorials c) English, Videos d) French

Les chapitres ci-dessous sont facultatifs : Chapitre [4 - 7] --- START

  1. Cardano Architecture | Cardano Blockchain Certified Associate (CBCA) from Cardano Foundation
  2. IntersectMBO Plutus User Guide
  3. Plutus Core Specification
  4. COQ Smart Contract Formal Verification Framework - M1
  5. UntypedPlutusCore Evaluation Machine Cek

Les chapitres ci-dessous sont facultatifs : Chapitre [4 - 7] --- FIN

Chapter 4 - 7 Replacement Introduction to Plutus : https://coxygen-global-haskell-plutus-fr.gitbook.io/coxygen-global-haskell-plutus-french

  1. Plutus Ledger APIs : V1, V2, V3,PlutusTx Prelude
  2. Smart Contract Guided Tutorials Weeks(1-8,10) Skip sections on : a) Use of Playground for testing, b) Plutus Application Backend(PAB)
  3. Videos Plutus Pioneer Program Iteration 4 IOG Academy(Lecture 1 - 10)
  4. Practicals Smart Contract Demos Onchain & Offchain, Each University/College produce 2 working demos - RWAs using Haskell Plutus.
  5. Cardano Trending Technologies: Each university/College show case CIP-1694, Midnight and Hydra or Midgard technologies

G: Optional Cardano Upgrades:

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

REMARQUE : Le contenu ci-dessus peut être modifié à tout moment sans préavis. Veuillez consulter régulièrement cette page pour les mises à jour.

Bernard Sibanda is a global Technology Entrepreneur, Web3 and Software Consultant with a deep focus on Cardano Blockchain, Midnight and Community building.

Key Positions:

  • Founder, CTO, Developer Advocate cohort #1, Fullstake Developer, Cardano Ambassador, Catalyst Project Manager, DREP-WIMS:
  • Co-founder of ABL Tech and Cardano Africa Live
  • EBU-certified Plutus Pioneer (Plutus/Haskell)
  • Cohort #1 Plutus Pioneer Developer
  • Catalyst Community Reviewer & Funded Projects Manager
  • DRep for WIMS-Cardano (ID: drep1yguj8zu48n99pv70yl6ckzt9hdgjy8yjnlqs2uyzcpafnjgu4vkul)
  • Intersect Developer Advocate
  • Intersect Committe Member 2025-2026
  • Cardano Marketer,Promoter and blogger
  • Cardano Open Source Contributor
  • Cardano communities and events organizer and builder
  • Cardano Ambassador for South Africa

Official links:

Social links:

Clone this wiki locally