Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Ebso

EVM Bytecode Super Optimizer
Stars
9
License
apache-2.0
Open Issues
0
Most Recent Commit
4 years ago
Programming Language
OCaml
Categories
Repo
Alternatives To Ebso
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
Yools120
a year ago7gpl-3.0SMT
Tools for Yul.
Ebso9
4 years agoapache-2.0OCaml
EVM Bytecode Super Optimizer
Alternatives To Ebso
Select To Compare
Manticore ⭐ 3,535
Symbolic execution tool
dependent packages 1total releases 1,137most recent commit 7 months agopypi manticore} Downloads
Yools ⭐ 120
Tools for Yul.
most recent commit a year ago
Ebso ⭐ 9
EVM Bytecode Super Optimizer
most recent commit 4 years ago


Suggest An Alternative To ebso
Alternative Project Comparisons
Ebso vs Manticore
Ebso vs Yools
Popular Evm Projects
Go Ethereum ⭐ 44,614
Official Go implementation of the Ethereum protocol
dependent packages 3,318total releases 672latest release November 14, 2023most recent commit 3 months ago
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 15 days agonpm @openzeppelin/contracts} Downloads
Chains ⭐ 7,342
provides metadata for chains
most recent commit 3 months ago
Popular Smt Projects
Barf Project ⭐ 1,193
BARF : A multiplatform open source Binary Analysis and Reverse engineering Framework
dependent packages 1total releases 4latest release November 24, 2019most recent commit 4 years agopypi barf} Downloads
Liquidhaskell ⭐ 1,132
Liquid Types For Haskell
total releases 32latest release December 06, 2023most recent commit 3 months ago
Popular Blockchain Categories
Blockchain
Ethereum
Bitcoin
Cryptocurrency
Wallet
Mining
Smart Contracts
Fabric
Web3
Dapp

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Ocaml
Bytecode
Evm
Smt
Constraint Solver
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.