Similar repositories to crossminer/maracas:
crossminer/maracas
github
similar
viatra/viatra-cep-examples
github
similar
viatra/incqueryd
github
similar
crossminer/CrossRec
github
similar
eclipse-researchlabs/scava
github
similar
ITEA3-Measure/MeasurePlatform
github
similar
crossminer/scava
github
similar
proganalysis/type-inference
github
similar
orcc/orcc
github
similar
runtimeverification/javamop
github
similar
mast-group/api-mining
github
similar
visallo/vertexium
github
similar
fasten-project/fasten
github
similar
joana-team/joana
github
similar
pietrobraione/jbse
github
similar
shevek/jcpp
github
similar
SymbolicPathFinder/jpf-symbc
github
similar
sukyoung/safe
github
similar
gmu-swe/phosphor
github
similar
isstac/kelinci
github
similar
szegedi/dynalink
github
similar
JikesRVM/JikesRVM
github
similar
KnowageLabs/Knowage-Server
github
similar
Samsung/jalangi2
github
similar
AliveToolkit/alive2
github
similar
uber/NEAL
github
similar
randoop/randoop
github
similar
OpenMined/private-ai-resources
github
similar
openjdk/jol
github
similar
coccinelle/coccinelle
github
similar
wala/WALA
github
similar
gousiosg/java-callgraph
github
similar
ishepard/pydriller
github
similar
souffle-lang/souffle
github
similar
CodeIntelligenceTesting/jazzer
github
similar
beanshell/beanshell
github
similar
mit-dci/opencbdc-tx
github
similar
namin/inc
github
similar
JackOfMostTrades/gadgetinspector
github
similar
IntelLabs/flrc
github
similar