An extensible multilanguage static code analyzer
Android toolset that includes the Android SDK and Android Studio
Export disassemblies into Protocol Buffers
Text architecture for music theory.
user-friendly access to the latest computational spectroscopy tools
System Omnichannel Marketing Analysis
Support for manual parallelization of sequential C programs.
BinNavi is a binary analysis IDE that allows to inspect, navigate, etc
H2O is an Open Source, Distributed, Fast & Scalable Machine Learning
An easy to use GUI enables electric source and grid simulation.
Open source tools for control flow analysis of java programs
Petri net framework for security related modeling and reasoning.
DSOL: A Distributed Simulation Object Library implemented in Java
Static analyzer for Java bytecode
jMINT - Java Mutation for Integration Testing
The Mr Tooth aims to manage dental clinics