Skip to content

Instantly share code, notes, and snippets.

View ekmett's full-sized avatar

Edward Kmett ekmett

View GitHub Profile
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 / gist:f35040bc25686d9f46b5
Created January 27, 2015 22:46
Explaining traverse/mapM
View gist:f35040bc25686d9f46b5
∴ ghci
:iGHCi, version 7.8.3: :? 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 /
Last active November 18, 2023 07:59
Most active GitHub users (by contributions).

Most active GitHub users (

The count of contributions (summary of Pull Requests, opened issues and commits) to public repos at from Wed, 21 Sep 2022 till Thu, 21 Sep 2023.

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:

 .filter(user =&gt; user.followers &gt; 1000)