karmacoma-eth

karmacoma's repositories

Language:SolidityMIT29 20

Language:SolidityMIT27 20

Uses dapptools to find that the max supply invariant can be violated by the contract owner

Language:SolidityUnlicense10 20

Language:SolidityMIT10 30

Language:PythonMIT4 20

MIT4 20

Language:JavaScriptMIT3 20

Language:CSS2 20

Practical tutorials of Certora Prover

Language:SolidityGPL-3.01 10

Language:SolidityMIT1 10

Language:Python1 20

Language:JavaScriptMIT1 20

Experimenting with making a counterfactual revocable-delegation contract format. https://roamresearch.com/#/app/capabul/page/cnW_23H8w

Language:CSSMIT010

Language:Python020

Language:PythonMIT020

Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.

Language:RustApache-2.0010

Language:Solidity020

🏗 forkable Ethereum dev stack focused on fast product iterations

Language:CSSMIT010

Seaport is a marketplace protocol for safely and efficiently buying and selling NFTs.

Language:SolidityMIT010