Pinned Loading

1. ecom ecom Public

   An e-commerce backend system based on Java & Spring framework

   Java 3

2. kron kron Public

   A light-weight distributed version control system

   Ruby 2 1

3. gospy gospy Public

   🕷 a flexible web crawler framework

   Java 6 2

4. tic-tac-toe tic-tac-toe Public

   Basic, advanced and ultimate tic-tac-toe games

   Java

5. philosophers philosophers Public

   Chandy and Misra's solution for the drinking philosophers problem

   C++

6. tt_entailment tt_entailment Public

   Model Checking & Resolution

   Java