The list would not be updated for now. Don't write comments.
The count of contributions (summary of Pull Requests, opened issues and commits) to public repos at GitHub.com from Wed, 21 Sep 2022 till Thu, 21 Sep 2023.
Because of GitHub search limitations, only 1000 first users according to amount of followers are included. If you are not in the list you don't have enough followers. See raw data and source code. Algorithm in pseudocode:
githubUsers
| namespace lambda { | |
| //////////////////////////////////////////////// | |
| // Lambda term | |
| namespace term { | |
| template<char c> struct var {}; | |
| template<typename N, typename M> struct app {}; | |
| template<char v, typename M> struct abs {}; |
| ;;Small minor mode to control spotify from emacs | |
| (defun spotify-play () "Play Spotify" (interactive) | |
| (shell-command "dbus-send --print-reply --dest=org.mpris.MediaPlayer2.spotify /org/mpris/MediaPlayer2 org.mpris.MediaPlayer2.Player.Play")) | |
| (defun spotify-pause () "Pause Spotify" (interactive) | |
| (shell-command "dbus-send --print-reply --dest=org.mpris.MediaPlayer2.spotify /org/mpris/MediaPlayer2 org.mpris.MediaPlayer2.Player.Pause")) | |
| (defun spotify-playpause () "Play/Pause Spotify" (interactive) | |
| (shell-command "dbus-send --print-reply --dest=org.mpris.MediaPlayer2.spotify /org/mpris/MediaPlayer2 org.mpris.MediaPlayer2.Player.PlayPause")) |
| -- | |
| -- Play a song and flash LEDs on alternate notes. | |
| -- Lee Pike <lee pike @ gmail . com> (remove spaces) | |
| -- See http://leepike.wordpress.com/?p=427 | |
| -- BSD3 License | |
| -- | |
| -- Note timing issues: http://www.arduino.cc/en/Tutorial/PlayMelody | |
| -- | |
| module CopilotSing where |
| // ---------------------------------------------------------- | |
| // A short snippet for detecting versions of IE in JavaScript | |
| // without resorting to user-agent sniffing | |
| // ---------------------------------------------------------- | |
| // If you're not in IE (or IE version is less than 5) then: | |
| // ie === undefined | |
| // If you're in IE (>=5) then you can determine which version: | |
| // ie === 7; // IE7 | |
| // Thus, to detect IE: | |
| // if (ie) {} |
| class A | |
| class A2 extends A | |
| class B | |
| trait M[X] | |
| // | |
| // Upper Type Bound | |
| // | |
| def upperTypeBound[AA <: A](x: AA): A = x |