Giters
Egor Bredikhin (Egor18)

Egor18

Geek Repo

3

followers

0

following

6

stars

Github PK Tool:Github PK Tool

Egor Bredikhin's repositories

jdataflow

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

Language:JavaLicense:MITStargazers:8Issues:2Issues:0

JSAT

Java Statistical Analysis Tool, a Java library for Machine Learning

Language:JavaLicense:GPL-3.0Stargazers:1Issues:0Issues:0

diy_fpv_plane

Language:C++Stargazers:0Issues:0Issues:0

h2database

H2 is an embeddable RDBMS written in Java.

Language:JavaLicense:NOASSERTIONStargazers:0Issues:0Issues:0

jenkins

Jenkins automation server

Language:JavaLicense:MITStargazers:0Issues:0Issues:0

pmd

An extensible multilanguage static code analyzer.

Language:JavaLicense:NOASSERTIONStargazers:0Issues:0Issues:0

realsense

Intel(R) RealSense(TM) ROS Wrapper for D400 series and SR300 Camera

Language:C++License:Apache-2.0Stargazers:0Issues:0Issues:0

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

Language:JavaLicense:NOASSERTIONStargazers:0Issues:0Issues:0

verifier

Language:PythonLicense:MITStargazers:0Issues:0Issues:0

z3

The Z3 Theorem Prover

Language:C++License:NOASSERTIONStargazers:0Issues:0Issues:0