New
v0.3.1
What's Changed
- temporarily avoid rich 14.1.0 by @0xkarmacoma in https://github.com/a16z/halmos/pull/564
Full Changelog: https://github.com/a16z/halmos/compare/v0.3.0...v0.3.1
Unclaimed project
Are you a maintainer of halmos? Claim this project to take control of your public changelog and roadmap.
Changelog
A symbolic testing tool for EVM smart contracts
Last updated about 1 year ago
A feature-rich command-line audio/video downloader
AutoGPT is the vision of accessible AI for everyone, to use and to build on. Our mission is to provide the tools, so that you can focus on what matters.
Python tool for converting files and office documents to Markdown.
:octocat: 分享 GitHub 上有趣、入门级的开源项目。Share interesting, entry-level open source projects on GitHub.
Full Changelog: https://github.com/a16z/halmos/compare/v0.3.0...v0.3.1