Popular repositories Loading

1. logic-programming logic-programming Public

   Logic programming projects

   Prolog 3

2. net-work net-work Public

   LinkedIn-like application

   Ruby 1

3. sigmod-2016 sigmod-2016 Public

   Optimized graph for shortest-path queries involving millions of nodes

   C++ 1

4. solar-system-animation solar-system-animation Public

   Interactive animation of a solar system

   C++ 1

5. uhangup uhangup Public

   Discord bot for a game of hangman

   1

6. social-security-website social-security-website Public

   Recreation of a social security website

   PHP