Popular repositories Loading

1. cdcl-sat-solver cdcl-sat-solver Public

   A CDCL SAT solver implemented in Java.

   Java 5 4

2. elm-server-raspi elm-server-raspi Public

   A demo of an Internet-of-Things application, where both the frontend and backend are written in Elm.

   Elm 1

3. ZooNLP ZooNLP Public

   Java

4. snowflake snowflake Public

   Forked from twitter-archive/snowflake

   Snowflake is a network service for generating unique ID numbers at high scale with some simple guarantees.

5. open-keychain open-keychain Public

   Forked from open-keychain/open-keychain

   OpenKeychain is an OpenPGP implementation for Android.

   Java

6. google-drive-add-to-explorer google-drive-add-to-explorer Public

   Forked from svenkle/google-drive-add-to-explorer