Stars
This repository provide a landing page layout for nextcent
Source tree for the Verified Experimental Kernel Operating System, or VEKOS.
Programming language for scripting with syntax similar to C++
A monad for interfacing with external SMT solvers
The CNFT.IO Marketplace Smart Contracts
SimpleX - the first messaging network operating without user identifiers of any kind - 100% private by design! iOS, Android and desktop apps 📱!
The Open Source Cardano Lottery is a smart contract lottery built using plutus for the Cardano Blockchain. It is a non-custodial lottery where all interactions with the lottery are done directly wi…
Tomas-AJF / Martify
Forked from MartifyLabs/martify.contractsNFT Marketplace on the Cardano Blockchain. Powered by Plutus Smart Contracts
Advanced techniques in the plutus smart contract language
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…
Espaço para a divulgação de vagas para desenvolvedores backend via issues do Github.
The Plutus language implementation and tools