Popular repositories Loading

1. pasp pasp Public

   Forked from kamel-usp/dpasp

   Probabilistic answer set programming

   C 1

2. cudd_David_Kebo_Tutorials cudd_David_Kebo_Tutorials Public

   CUDD versions from David Kebo Tutorials

   C 1

3. cudd-dpasp cudd-dpasp Public

   Forked from cuddorg/cudd

   CUDD: CU Decision Diagram package - unofficial git mirror of https://web.archive.org/web/20180127051756/http://vlsi.colorado.edu/~fabio/CUDD/html/index.html (intro: https://web.archive.org/web/2015…

   C 1

4. config config Public

   Vim Script 1

5. Micro-vs-macro-um-estudo-in-silico Micro-vs-macro-um-estudo-in-silico Public

   Java

6. Monty_Hall Monty_Hall Public

   Monty Hall with n doors, k goats and T simulations (0 <= k <= n-2) (n >= 2) (T >= 1)

   Python