Skip to content

Instantly share code, notes, and snippets.

View DanielKolsi's full-sized avatar
🖥️
Alpha-beta pruning with some intelligent heuristics to reduce the game tree...

Daniel Kolsi DanielKolsi

🖥️
Alpha-beta pruning with some intelligent heuristics to reduce the game tree...
View GitHub Profile
@DanielKolsi
DanielKolsi / active.md
Created May 4, 2017 00:18 — forked from paulmillr/active.md
Most active GitHub users (by contributions). http://twitter.com/paulmillr

Most active GitHub users (git.io/top)

The count of contributions (summary of Pull Requests, opened issues and commits) to public repos at GitHub.com from Fri, 19 Jun 2015 15:17:38 GMT till Sun, 19 Jun 2016 15:17:38 GMT.

Only first 1000 GitHub users according to the count of followers are taken. This is because of limitations of GitHub search. Sorting algo in pseudocode:

githubUsers
 .filter(user => user.followers > 635)