Popular repositories Loading

1. Healer Healer Public

   Android app for helping hospitals to share resources

   Kotlin 5 4

2. Minesweeper Minesweeper Public

   Classic minesweeper game

   Kotlin 2

3. hello-world hello-world Public

   My first github repository

4. 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

5. jpf-wiki-sync jpf-wiki-sync Public

   Forked from javapathfinder/jpf-wiki-sync

   Repository that gets synchronized with the wiki on jpf-core

   TeX

6. Assignment Assignment Public

   HTML