Skip to content

Instantly share code, notes, and snippets.

Avatar
🤞

Edward Kmett ekmett

🤞
3.9k followers · 3 following
View GitHub Profile
@tunabrain
tunabrain / openvr_mingw.hpp
Last active April 15, 2020 14:45
View openvr_mingw.hpp
#pragma once
// openvr.h
//========= Copyright Valve Corporation ============//
// Dynamically generated file. Do not modify this file directly.
#ifndef _OPENVR_API
#define _OPENVR_API
#include <stdint.h>
@nkpart
nkpart / gist:f35040bc25686d9f46b5
Created January 27, 2015 22:46
Explaining traverse/mapM
View gist:f35040bc25686d9f46b5
∴ ghci
:iGHCi, version 7.8.3: http://www.haskell.org/ghc/ :? for help
Loading package ghc-prim ... linking ... done.
Loading package integer-gmp ... linking ... done.
Loading package base ... linking ... done.
Prelude> :i traverse
Top level:
Not in scope: ‘traverse’
Perhaps you meant ‘reverse’ (imported from Prelude)
@paulmillr
paulmillr / active.md
Last active March 22, 2023 22:53
Most active GitHub users (by contributions). http://twitter.com/paulmillr
View active.md

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 Tue, 06 Dec 2016 17:06:46 GMT till Wed, 06 Dec 2017 17:06:46 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 =&gt; user.followers &gt; 1000)