Unclaimed project

Are you a maintainer of halmos? Claim this project to take control of your public changelog and roadmap.

Changelog

halmos

A symbolic testing tool for EVM smart contracts

NewJuly 25, 2025

v0.3.1

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

Mapbox Navigation SDK for Android

一个利用摸鱼时间背单词的软件。

C# Barcode Image Generation Library

Background blurring for Compose Multiplatform / Jetpack Compose