Automatic verification of LLVM optimizations (by AliveToolkit)

Alive2 Alternatives

Similar projects and alternatives to alive2

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a better alive2 alternative or higher similarity.

alive2 reviews and mentions

Posts with mentions or reviews of alive2. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2023-05-15.


Basic alive2 repo stats
11 days ago

AliveToolkit/alive2 is an open source project licensed under MIT License which is an OSI approved license.

The primary programming language of alive2 is C++.

Access the most powerful time series database as a service
Ingest, store, & analyze all types of time series data in a fully-managed, purpose-built database. Keep data forever with low-cost storage and superior data compression.