.box
Dev Tools
The world's first and only ICANN-accredited ENS domain.
Solc Verify
This is solc-verify, an auto-verifier compiler for Solidity.
What is Solc Verify
Solc Verify is the extended alternative to the mainstream Solidity code compiler, it carries out formal verification of code along with compilation. Developers can verify the functional correctness of their smart contracts. A task that would need extra packages/toolchains if done with the normal compiler. The project has been forked +5k times!
Solc Verify Alternatives
Explore competitors and apps like Solc Verify.
0x Explorer
Dev Tools
0x Explorer is a blockchain explorer built for 0x.
0xequity
Dev Tools
0xequity empowers users to invest in multiple instruments including RWAs and DeFi for as low as 10$.
0xNAME
Dev Tools
0xNAME is a public good naming service (protocol and dApp) enabling FREE web3 names on Ethereum with various Top Level …
0xScore
Dev Tools
Brand new way to rate wallets based on on-chain activity.
1.country
Dev Tools
1.country connects a Web3 name with a browsable Web2 domain, unifying users' digital identity.
Related development services
We can help you build with these technologies.
Need a custom blockchain solution?
We build dApps, smart contracts and Web3 solutions for startups and fintech.