Pinned Repositories
analysis-demos
awm
Translator from ARM instruction litmus tests to Event-B
fmusdk2
Port of FMUSDK2.0.3 from QTronic (http://www.qtronic.de/doc/fmusdk.zip) to Mac OS X and Linux.
fmusim-rodin
The component front-end of the FMI co-simulation tool for Rodin platform.
vsavicks's Repositories
vsavicks/fmusdk2
Port of FMUSDK2.0.3 from QTronic (http://www.qtronic.de/doc/fmusdk.zip) to Mac OS X and Linux.
vsavicks/fmusim-rodin
The component front-end of the FMI co-simulation tool for Rodin platform.
vsavicks/analysis-demos
vsavicks/awm
Translator from ARM instruction litmus tests to Event-B
vsavicks/dspl
Automatically exported from code.google.com/p/dspl
vsavicks/easy-peasy-bot
A template project to get you started writing Botkit bots for Slack
vsavicks/fmusdk
This is an SDK (originally developed by QTronic) for testing the new Functional Mockup Interface developed by the Modelisar project.
vsavicks/java-concurrency
java concurrency 예제 정리
vsavicks/map-icons
An icon font for use with Google Maps API and Google Places API using SVG markers and icon labels
vsavicks/multisim
Multi-simulation plug-in for Rodin
vsavicks/openshift-mongo-node-express-example
vsavicks/ptolemy-jfmi
vsavicks/restify-postGIS
an example restify app containing PostgreSQL queries and National Parks data
vsavicks/rms
Rodin Multi-Simulation plug-in for the Rodin platform
vsavicks/rome
Java library for RSS and Atom feeds
vsavicks/simple_node_express_mongo
A simple Node Express application with a Mongo call wired up set to run on OpenShift. Really just for simple applications - more separation into files for a more complicated application.
vsavicks/solarized
precision color scheme for multiple applications (terminal, vim, etc.) with both dark/light modes
vsavicks/spring-batch-examples
Collection of Spring Batch Examples
vsavicks/spring-batch-import-cities
Exemple Spring Batch 3 avec annotations
vsavicks/spring-batch-mongodb-support
MongoDB support for the Spring Batch framework
vsavicks/spring-data-examples
Spring Data Example Projects
vsavicks/Symfony-2-Eclipse-Plugin
Symfony eclipse plugin.
vsavicks/system-rules
A collection of JUnit rules for testing code which uses java.lang.System.
vsavicks/texiteasy
Simple and Powerful Latex Editor
vsavicks/timebook
Getting started with Slack slash commands
vsavicks/titan
Distributed Graph Database
vsavicks/tycho-pomless
Maven build extension for pom-less Tycho builds