Popular repositories Loading

1. csvan-home csvan-home Public

   Personal homepage.

2. phatgeo phatgeo Public

   Lightweight Java Framework for creating GeoJSON structures.

   Java

3. keytestgen keytestgen Public

   KeYTestGen is an automated test case generation for JavaCard, based on symbolic execution.

   Java

4. progtekf progtekf Public

   Excercise solutions for students taking the course Programmeringsteknik F at Chalmers

   Java

5. bleeding_edge bleeding_edge Public

   Forked from dart-archive/bleeding_edge-DEPRECATED-USE-SDK-INSTEAD

   A read-only mirror of dart.googlecode.com. Please don't send Pull Requests here, please contribute via:

   Dart

6. hhvm hhvm Public

   Forked from facebook/hhvm

   HHVM is an open-source virtual machine designed for executing programs written in Hack and PHP. HHVM uses a just-in-time (JIT) compilation approach to achieve superior performance while maintaining…

   C++