Pinned Loading

1. meelgroup/KUS meelgroup/KUS Public

   A Knowledge Compilation-based Uniform Sampler

   Python 6 3

2. meelgroup/ganak meelgroup/ganak Public

   The first scalable probabilistic exact counter

   C++ 27 7

3. meelgroup/WAPS meelgroup/WAPS Public

   A state of the art Weighted and Projected Sampler

   Python 6

4. Implementation-of-DP-DPLL-and-Exhaustive-DPLL-in-Haskell Implementation-of-DP-DPLL-and-Exhaustive-DPLL-in-Haskell Public

   Haskell

5. Operating-System Operating-System Public

   Some basic Operating System codes

   C

6. Scala-Compiler Scala-Compiler Public

   Python 1