Gayan Weerakutti gayanW

Pinned repositories

1. jpf-core

   Forked from javapathfinder/jpf-core

   This is the basis for all JPF projects, i.e. you always need to install it. jpf-core contains the basic VM and model checking infrastructure, and can be used to check for concurrency defects like d…

   Java

2. openmrs/openmrs-module-webservices.rest

   Provides RESTful web services for OpenMRS

   Java 34 289

3. openmrs/openmrs-core

   OpenMRS API and web application code

   Java 695 2.2k

4. GNOME/rhythmbox

   Music playback and management application

   C 98 39

5. dotfiles

   Linux Debian Configuration and Installation Files

   Shell