Egor18

Egor18's Stars

• Egor18/jdataflow

  jdataflow is a Z3 solver based data-flow analyzer for Java source code.

  Language:Java82

• h2database/h2database

  H2 is an embeddable RDBMS written in Java.

  Language:Java4.2k1.2k

• Z3Prover/z3

  The Z3 Theorem Prover

  Language:C++10.1k1.5k

• viva64/homebrew-pvs-studio

  PVS-Studio macOS formulae for the Homebrew package manager

  Language:Ruby64

• 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).

  Language:C++1.4k156

• 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.

  Language:Java1.7k346