Popular repositories Loading

1. discrete-scroll discrete-scroll Public

   Fix for macOS's unnecessary scroll wheel acceleration

   C 928 87

2. drag-scroll drag-scroll Public

   Toggleable drag-to-scroll mechanism for macOS

   C 57 11

3. sat sat Public

   Learning local search heuristics for Boolean satisfiability

   Python 37 10

4. rewriting-collatz rewriting-collatz Public

   An automated approach to the Collatz conjecture

   Python 12

5. gcn gcn Public

   Graph Convolutional Network in PyTorch

   Python 6 2

6. mycielski mycielski Public

   Mycielski graphs and PR proofs

   Julia