Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Veriman

Analysis tool for Solidity smart contracts. Prototype.
Alternatives To Veriman
Project NameStarsDownloadsRepos Using ThisPackages Using ThisMost Recent CommitTotal ReleasesLatest ReleaseOpen IssuesLicenseLanguage
Manticore3,535pypi manticore} Downloads117 months ago1,137December 09, 2023264agpl-3.0Python
Symbolic execution tool
Echidna2,461
3 months ago1September 07, 2022142agpl-3.0Solidity
Ethereum smart contract fuzzer
Remix Project2,188npm @remix-project/remixd} Downloads333 months ago44December 01, 2023767mitTypeScript
Remix is a browser-based compiler and IDE that enables users to build Ethereum contracts with Solidity language and to debug transactions.
Swc Registry805
6 months ago8mit
Smart Contract Weakness Classification and Test Cases
Damn Vulnerable Defi Foundry406
10 months ago4mitSolidity
Damn Vulnerable DeFi - Foundry Version
Scilla238
10 months ago137gpl-3.0OCaml
Scilla - A Smart Contract Intermediate Level Language
Web3 Bootcamp233
a year agoSolidity
Open-Sourced Turkish Smart Contract Developer Bootcamp by ITU Blockchain
Boilerplate224
3 months ago13mitTypeScript
sCrypt project boilerplate
Prb Test162npm @prb/test} Downloads63 months ago17October 04, 20232mitSolidity
Modern collection of testing assertions and logging utilities for Solidity
Vertigo148
a year ago17January 31, 202116lgpl-3.0Python
Mutation Testing for Ethereum Smart Contracts
Alternatives To Veriman
Select To Compare
Manticore ⭐ 3,535
Symbolic execution tool
dependent packages 1total releases 1,137most recent commit 7 months agopypi manticore} Downloads
Echidna ⭐ 2,461
Ethereum smart contract fuzzer
total releases 1most recent commit 3 months ago
Boilerplate ⭐ 224
sCrypt project boilerplate
most recent commit 3 months ago
Prb Test ⭐ 162
Modern collection of testing assertions and logging utilities for Solidity
dependent packages 6total releases 17most recent commit 3 months agonpm @prb/test} Downloads
Vertigo ⭐ 148
Mutation Testing for Ethereum Smart Contracts
total releases 17most recent commit a year ago


Suggest An Alternative To VeriMan
Alternative Project Comparisons
Veriman vs Manticore
Veriman vs Echidna
Veriman vs Remix Project
Veriman vs Swc Registry
Veriman vs Damn Vulnerable Defi Foundry
Veriman vs Scilla
Veriman vs Web3 Bootcamp
Veriman vs Boilerplate
Veriman vs Prb Test
Veriman vs Vertigo
Popular Smart Contracts Projects
Openzeppelin Contracts ⭐ 24,030
OpenZeppelin Contracts is a library for secure smart contract development.
dependent packages 2,941total releases 81latest release December 08, 2023most recent commit 10 days agonpm @openzeppelin/contracts} Downloads
Popular Testing Projects
Puppeteer ⭐ 86,608
Node.js API for Chrome
dependent packages 15,686total releases 851latest release December 06, 2023most recent commit 10 days agonpm puppeteer} Downloads
Storybook ⭐ 82,496
Storybook is a frontend workshop for building UI components and pages in isolation. Made for UI development, testing, and documentation.
dependent packages 26,487total releases 1,044latest release December 02, 2023most recent commit 22 days agonpm @storybook/addon-essentials} Downloads
Bitcoin ⭐ 73,537
Bitcoin Core integration/staging tree
total releases 2latest release June 21, 2021most recent commit 3 months ago
Hoppscotch ⭐ 59,845
👽 Open source API development ecosystem - https://hoppscotch.io
dependent packages 2total releases 11latest release October 14, 2023most recent commit 10 days agonpm @hoppscotch/cli} Downloads
Popular Blockchain Categories
Blockchain
Ethereum
Bitcoin
Cryptocurrency
Wallet
Mining
Smart Contracts
Fabric
Web3
Dapp
Related Searches
Blockchain Ethereum
Contracts Ethereum
Ethereum Solidity
Python Testing
Contracts Solidity
Python Monitoring
Blockchain Contracts
Ethereum Smart Contracts
Python Transaction
Python Blockchain

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Python
Testing
Blockchain
Ethereum
Monitoring
Solidity
Transaction
Properties
Smart Contracts
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.