Pinned Repositories
diy_fpv_plane
h2database
H2 is an embeddable RDBMS written in Java.
jdataflow
jdataflow is a Z3 solver based data-flow analyzer for Java source code.
jenkins
Jenkins automation server
JSAT
Java Statistical Analysis Tool, a Java library for Machine Learning
pmd
An extensible multilanguage static code analyzer.
realsense
Intel(R) RealSense(TM) ROS Wrapper for D400 series and SR300 Camera
spoon
Spoon is a library to analyze, transform, rewrite, transpile Java source code (incl Java 9 modules). It parses source files to build a well-designed AST with powerful analysis and transformation API. Made at Inria with :heart:, :beers: and :sparkles:.
verifier
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.
Egor18's Repositories
Egor18/jdataflow
jdataflow is a Z3 solver based data-flow analyzer for Java source code.
Egor18/JSAT
Java Statistical Analysis Tool, a Java library for Machine Learning
Egor18/diy_fpv_plane
Egor18/h2database
H2 is an embeddable RDBMS written in Java.
Egor18/jenkins
Jenkins automation server
Egor18/pmd
An extensible multilanguage static code analyzer.
Egor18/realsense
Intel(R) RealSense(TM) ROS Wrapper for D400 series and SR300 Camera
Egor18/spoon
Spoon is a library to analyze, transform, rewrite, transpile Java source code (incl Java 9 modules). It parses source files to build a well-designed AST with powerful analysis and transformation API. Made at Inria with :heart:, :beers: and :sparkles:.
Egor18/verifier
Egor18/z3
The Z3 Theorem Prover