Pinned Repositories
aiken
A modern smart contract platform for Cardano
CharityBets
Front End iOS components for the CharityBets app
CIPs
foo
inverse-whirlpool
ios-bots
iOS bots for different games leveraging appium
lobster-challenge
Simple Plutus contract to help give Charles' stuffed lobster a name
pallas
Rust-native building blocks for the Cardano blockchain ecosystem
phone_bot
plutus-bench
A unified benchmark for Cardano Smart Contract languages
MicroProofs's Repositories
MicroProofs/inverse-whirlpool
MicroProofs/CharityBets
Front End iOS components for the CharityBets app
MicroProofs/CIPs
MicroProofs/foo
MicroProofs/ios-bots
iOS bots for different games leveraging appium
MicroProofs/lobster-challenge
Simple Plutus contract to help give Charles' stuffed lobster a name
MicroProofs/pallas
Rust-native building blocks for the Cardano blockchain ecosystem
MicroProofs/phone_bot
MicroProofs/plutus-bench
A unified benchmark for Cardano Smart Contract languages
MicroProofs/twt_products
Scraper for twitter to grab product urls in a category or matching a hashtag.
MicroProofs/VBInventoryManagement
Pull orders from sales and deduct them from Odoo inventory
MicroProofs/sparse-merkle-tree
Modified to be used as off chain code for Aiken sparse merkle tree implementation
MicroProofs/vault
MicroProofs/verified-tokens
Verified tokens list on Minswap