Vitaly's repositories
fmusim-rodin
The component front-end of the FMI co-simulation tool for Rodin platform.
awm
Translator from ARM instruction litmus tests to Event-B
dspl
Automatically exported from code.google.com/p/dspl
easy-peasy-bot
A template project to get you started writing Botkit bots for Slack
fmusdk
This is an SDK (originally developed by QTronic) for testing the new Functional Mockup Interface developed by the Modelisar project.
java-concurrency
java concurrency 예제 정리
map-icons
An icon font for use with Google Maps API and Google Places API using SVG markers and icon labels
multisim
Multi-simulation plug-in for Rodin
restify-postGIS
an example restify app containing PostgreSQL queries and National Parks data
rms
Rodin Multi-Simulation plug-in for the Rodin platform
rome
Java library for RSS and Atom feeds
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.
solarized
precision color scheme for multiple applications (terminal, vim, etc.) with both dark/light modes
spring-batch-examples
Collection of Spring Batch Examples
spring-batch-import-cities
Exemple Spring Batch 3 avec annotations
spring-batch-mongodb-support
MongoDB support for the Spring Batch framework
spring-data-examples
Spring Data Example Projects
Symfony-2-Eclipse-Plugin
Symfony eclipse plugin.
system-rules
A collection of JUnit rules for testing code which uses java.lang.System.
texiteasy
Simple and Powerful Latex Editor
timebook
Getting started with Slack slash commands
titan
Distributed Graph Database
tycho-pomless
Maven build extension for pom-less Tycho builds