tokenomiaTokenomia is built for the Cardashift ICO, it aims to simplify the use of Native Tokens and Smart Contracts above the Cardano Platform. Cardashift is a community-driven startup platform that raises funds, builds and accelerates startups that solve social and environmental problems.
Stars: ✭ 84 (+147.06%)
Mutual labels: plutus, cardano
high-assurance-legacyLegacy code connected to the high-assurance implementation of the Ouroboros protocol family
Stars: ✭ 81 (+138.24%)
Mutual labels: formal-methods, cardano
detailed-plutus-lecture-notesInitially started as my own personal lecture notes. Slowly, I'm converting this repo into an extremely detailed set of notes to help future pioneers, Cardano devs and anyone with an academic interest in DLTs and Blockchain Consensus Algorithms.
Stars: ✭ 21 (-38.24%)
Mutual labels: plutus, cardano
kleverRead-only mirror of the Klever Git repository
Stars: ✭ 18 (-47.06%)
Mutual labels: model-checking, formal-methods
Tool listsLinks to tools by subject
Stars: ✭ 270 (+694.12%)
Mutual labels: model-checking, formal-methods
Vscode TlaplusTLA+ language support for Visual Studio Code
Stars: ✭ 152 (+347.06%)
Mutual labels: model-checking, formal-methods
plutus-starterA starter project for Plutus apps
Stars: ✭ 176 (+417.65%)
Mutual labels: plutus, cardano
intrepidIntrepyd Model Checker
Stars: ✭ 14 (-58.82%)
Mutual labels: model-checking, formal-methods
vscode-tlaplusTLA+ language support for Visual Studio Code
Stars: ✭ 213 (+526.47%)
Mutual labels: model-checking, formal-methods
CosaCoreIR Symbolic Analyzer
Stars: ✭ 35 (+2.94%)
Mutual labels: model-checking, formal-methods
Software Quality WikiSoftware Quality Wiki
Stars: ✭ 1,991 (+5755.88%)
Mutual labels: model-checking, formal-methods
CTFGymList of CTF related to Ethereum world (solidity smart contracts)
Stars: ✭ 87 (+155.88%)
Mutual labels: smart-contracts
Merkletreejs🌱 Construct Merkle Trees and verify proofs in JavaScript.
Stars: ✭ 238 (+600%)
Mutual labels: smart-contracts
Remix ProjectRemix is a browser-based compiler and IDE that enables users to build Ethereum contracts with Solidity language and to debug transactions.
Stars: ✭ 225 (+561.76%)
Mutual labels: smart-contracts
FlintThe Flint Programming Language for Smart Contracts
Stars: ✭ 228 (+570.59%)
Mutual labels: smart-contracts
chainlink-mixWorking with smart contracts with eth-brownie, python, and Chainlink.
Stars: ✭ 447 (+1214.71%)
Mutual labels: smart-contracts
waves-ideIDE for waves blockchain RIDE language
Stars: ✭ 19 (-44.12%)
Mutual labels: smart-contracts
WaveletWrite once, run forever. Deploy robust, scalable, decentralized WebAssembly applications on Wavelet.
Stars: ✭ 224 (+558.82%)
Mutual labels: smart-contracts
Blockchain StuffBlockchain and Crytocurrency Resources
Stars: ✭ 2,549 (+7397.06%)
Mutual labels: smart-contracts
Erc20 GeneratorCreate an ERC20 Token for FREE in less than a minute with the most used Smart Contract Generator for ERC20 Token. No login. No setup. No coding required.
Stars: ✭ 202 (+494.12%)
Mutual labels: smart-contracts