Pinned Repositories
apis
OAuth Authorization as a Service
commons-math
Apache Commons Math
cordova-ble
Bluetooth Low Energy plugin for Cordova
daikon
Dynamic detection of likely invariants
diff-window-plugin
IntelliJ plugin to show diffs
docker-apollomq
Docker image for Apache ActiveMQ Apollo broker.
dsproj
Example Project to test Getty
InvariantsPluginGradle
A plugin for Gradle to run code analysis and daikon to extract invariants of Java methods
SmartHome
smartthings-mqtt-bridge
Bridge between SmartThings and MQTT
mmenarini's Repositories
mmenarini/InvariantsPluginGradle
A plugin for Gradle to run code analysis and daikon to extract invariants of Java methods
mmenarini/diff-window-plugin
IntelliJ plugin to show diffs
mmenarini/apis
OAuth Authorization as a Service
mmenarini/commons-math
Apache Commons Math
mmenarini/cordova-ble
Bluetooth Low Energy plugin for Cordova
mmenarini/daikon
Dynamic detection of likely invariants
mmenarini/docker-apollomq
Docker image for Apache ActiveMQ Apollo broker.
mmenarini/dsproj
Example Project to test Getty
mmenarini/SmartHome
mmenarini/smartthings-mqtt-bridge
Bridge between SmartThings and MQTT
mmenarini/gettyJava
mmenarini/gradle
Adaptable, fast automation for all
mmenarini/ioBroker.rainforesteagle
mmenarini/junit-getty
mmenarini/MetaSenseModelLoading
mmenarini/openhab-android
openHAB client for Android
mmenarini/semantiful-differentials-getty
Inspecting behavioral differences across versions
mmenarini/SharedMemoryIPC
My Java implementation of an IPC channel using memory mapped files
mmenarini/spring-security-oauth
Support for adding OAuth1(a) and OAuth2 features (consumer and provider) for Spring web applications.