Popular repositories Loading

1. OpenRCT2 OpenRCT2 Public

   Forked from OpenRCT2/OpenRCT2

   An open source clone of Roller Coaster Tycoon 2 built by decompiling the original game one bit at a time.

   C 1

2. hyperfun hyperfun Public

   Hypergraph REPL

   Python

3. BalancedGo BalancedGo Public

   Forked from cem-okulmus/BalancedGo

   Compute Generalized Hypertree Decompositions via balanced separators, in Go with a focus on parallelism

   Go

4. log-k-decomp log-k-decomp Public

   Forked from cem-okulmus/log-k-decomp

   log-k-decomp implements a novel parallel algorithm to compute Hypertree Decompositions based on the structural information of CQs or CSPs. This can then be used to evaluate them in provably polynom…

   Go

5. pact pact Public

   PACT -- A Pattern Counting Toolkit

   Jupyter Notebook