Egor18's Stars
Egor18/jdataflow
jdataflow is a Z3 solver based data-flow analyzer for Java source code.
h2database/h2database
H2 is an embeddable RDBMS written in Java.
Z3Prover/z3
The Z3 Theorem Prover
viva64/homebrew-pvs-studio
PVS-Studio macOS formulae for the Homebrew package manager
Taywee/args
A simple header-only C++ argument parser library. Supposed to be flexible and powerful, and attempts to be compatible with the functionality of the Python standard argparse library (though not necessarily the API).
INRIA/spoon
Spoon is a metaprogramming library to analyze and transform Java source code. :spoon: is made with :heart:, :beers: and :sparkles:. It parses source files to build a well-designed AST with powerful analysis and transformation API.