Popular repositories Loading

1. discrete-scroll discrete-scroll Public

   Fix for macOS's unnecessary scroll wheel acceleration

   C 964 93

2. drag-scroll drag-scroll Public

   Toggleable drag-to-scroll mechanism for macOS

   C 70 16

3. sat sat Public

   Learning local search heuristics for Boolean satisfiability

   Python 38 11

4. rewriting-collatz rewriting-collatz Public

   An automated approach to the Collatz conjecture

   Python 13

5. gcn gcn Public

   Graph Convolutional Network in PyTorch

   Python 7 2

6. mycielski mycielski Public

   Mycielski graphs and PR proofs

   Julia