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. pact pact Public

   PACT -- A Pattern Counting Toolkit

   Jupyter Notebook 1

3. hyperfun hyperfun Public

   Hypergraph REPL

   Python

4. BalancedGo BalancedGo Public

   Forked from cem-okulmus/BalancedGo

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

   Go

5. 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