Popular repositories Loading

1. jpf-core jpf-core Public

   Forked from javapathfinder/jpf-core

   JPF is an extensible software analysis framework for Java bytecode. jpf-core is the basis for all JPF projects; you always need to install it. It contains the basic VM and model checking infrastruc…

   Java 1

2. recipes recipes Public

   Forked from LarryMad/recipes

3. pixel-ping pixel-ping Public

   Forked from documentcloud/pixel-ping

   A Minimalist Pixel Tracker for Node.js

   HTML

4. ud839_Miwok ud839_Miwok Public

   Forked from udacity/ud839_Miwok

   Java

5. Phodu_BITSian Phodu_BITSian Public

   A simple C program to predict and analyse end-sem marks of a student using linear regression

   C

6. Coffee_Time Coffee_Time Public

   A simple android app to order coffee

   Java