Sealbook / Open source / Blockchain y cripto

a16z/halmos

A symbolic testing tool for EVM smart contracts

Licencia y mantenimiento

AGPL-3.0 es una licencia copyleft: los productos que lo incluyan o modifiquen pueden tener que publicar su código.

Último cambio de código hace 14 meses.

Proyectos similares

	Repositorio	Estrellas	Lenguaje	Licencia	Actividad
1	bitcoin/bitcoinBitcoin Core integration/staging tree	★ 90.4k	C++	MIT	Activo
2	FuelLabs/fuel-coreRust full node implementation of the Fuel v2 protocol.	★ 56.8k	Rust	Apache-2.0	Activo
3	freqtrade/freqtradeFree, open source crypto trading bot	★ 55.6k	Python	GPL-3.0	Activo
4	DefinitelyTyped/DefinitelyTypedThe repository for high quality TypeScript type definitions.	★ 51.4k	TypeScript	Other	Activo
5	ethereum/go-ethereumGo implementation of the Ethereum protocol	★ 51.4k	Go	LGPL-3.0	Activo
6	anoma/anomaReference implementation of Anoma	★ 33.6k	Elixir	MIT	Menos activo
7	shardeum/shardeumShardeum is an EVM based autoscaling blockchain	★ 31.2k	TypeScript	MIT	Sin cambios
8	bitcoinbook/bitcoinbookMastering Bitcoin 3rd Edition - Programming the Open Blockchain	★ 25.3k	HTML	Other	Sin cambios