luksgrin's repositories
huffold-eth
Minimal Scaffold-ETH based environment to build, deploy and test Huff-based dapps
Language:Solidity000
BIOCOM-UPV_Network-Medicine
Contenidos de teorĂa de grafos aplicada con `python` a travĂ©s de `networkx`
Language:Jupyter NotebookMIT000
Language:JavaScript000
Language:Python000
book
A book on all things Foundry, available at https://book.getfoundry.sh.
Language:SolidityApache-2.0000
Certora-Prover-Tutorials
Practical tutorials of Certora Prover
GPL-3.0000
Language:JavaScript000
Language:JavaScript000
Language:TypeScript000
getsponsoreth-vyper
Vyper implementation of getsponsoreth
Language:TypeScriptMIT000
GiftList
Gifts under the Merkle Tree
Language:JavaScript000
halmos
Symbolic bounded model checker for Ethereum smart contracts
Language:PythonAGPL-3.0000
huff-runner
Minimal Huff Deployer Library
Language:Solidity000
lightdock.github.io
LightDock macromolecular docking software
Language:Jupyter Notebook000
000
Language:Jupyter Notebook000
Language:Python000
Language:TeX000
Language:TypeScriptMIT000
Language:TeX000
Language:JavaScript000