pcaversaccio
Follow
Lists (6)
Cairo/StarkNet π₯Έ
A curated list of Cairo/StarkNet resources, libraries, tools, and more.Ethereum Security π‘οΈ
A curated list of Ethereum security references, guidance, tools, and more.Foundry/Forge π
A curated list of Foundry/Forge resources, libraries, tools, and more.Huff Language β
A curated list of Huff language resources, libraries, tools, and more.Machine Learning π€
A curated list of machine learning resources, libraries, tools, and more.Vyper π
A curated list of Vyper resources, libraries, tools, and more.Stars
ZKsync emergency upgrade verification tools.
Source code of Telegram for macos on Swift 5.0
A minimal repo to verify a zksync proposal
An MCP to retrieve rust crate documentation for LLM's
A hardware acceleration library for compute intensive cryptography π§
Smart contracts relevant to the BUNNI token, such as the token migration contract and the capped staking pool contract.
β¨ A library enabling applications to communicate with Ledger devices.
A standard interface for TypeScript schema validation libraries
Experimental typechecker for a Solidity intermediate language
Serves as a bridge for the Safe{Wallet} clients (Android, iOS, Web)
A list of alternatives for Adobe software
Read-only mirror of https://gitlab.gnome.org/GNOME/gimp
πΎ Fast + sharp Ethereum identicons ("blockies").
Formal specification and verification of Vyper
Use any linux distribution inside your terminal. Enable both backward and forward compatibility with software and freedom to use whatever distribution youβre more comfortable with. Mirror availableβ¦
Hyprland is an independent, highly customizable, dynamic tiling Wayland compositor that doesn't sacrifice on its looks.
Open Source Deep Research Alternative to Reason and Search on Private Data. Written in Python.
A standard guard for Safe Smart Accounts that prevent common foot-guns.