Popular repositories Loading

1. F2LP F2LP Public

   Formula to Logic Program host repository. Please see the webpage at http://reasoning.eas.asu.edu/f2lp/ for more details.

   C 6 2

2. cplus2asp cplus2asp Public

   C+ to ASP Translator program

   C++ 2 3

3. uupg uupg Public

   Universally Unique Password Generator

   JavaScript 1 1

4. uupg-extension uupg-extension Public

   A UUPG Browser Extension based off the Stanford PwdHash Project (http://crypto.stanford.edu/PwdHash)

   JavaScript 1

5. as2transition as2transition Public

   An answer set processor intended to provide a nicer format for answer sets which represent transition systems and/or contain multi-valued atoms.

   C 1

6. qmk_firmware qmk_firmware Public

   C 1