Max Taldykin jorpic

## gist:3907805
{-# LANGUAGE OverloadedStrings #-}
{-# LANGUAGE MultiParamTypeClasses, FlexibleInstances #-}
{-# LANGUAGE OverlappingInstances #-}

import Data.Attoparsec.Text as P
import Data.Text (Text)
import Control.Applicative


data A = A {a1 :: Int, a2 :: Text}

## index.html
<!DOCTYPE html>
<!-- По мотивам http://macroevolution.livejournal.com/168362.html -->
<meta charset="utf-8">
<style>
</style>
<body>
<script src="http://d3js.org/d3.v3.min.js"></script>
<script src="http://coffeescript.org/extras/coffee-script.js"></script>
<script src="http://underscorejs.org/underscore-min.js"></script>
<script type="text/coffeescript">

## index.html
<!DOCTYPE html>
<body>
<script src="http://d3js.org/d3.v3.min.js"></script>
<script src="http://underscorejs.org/underscore-min.js"></script>
<script src="http://coffeescript.org/extras/coffee-script.js"></script>
<script type="text/coffeescript">
  x = 1
  data = _.map([1..36], -> x *= 0.892)

  squares = d3.select('body').append('svg')

## pigeonhole.v
Require Import Omega.
Require Import Coq.Arith.Peano_dec. (* eq_nat_dec *)


Lemma nex_to_forall : forall k n x : nat, forall f,
 (~exists k, k < n /\ f k = x) -> k < n -> f k <> x.
Proof.
  intros k n x f H_nex H_P H_Q.
  apply H_nex; exists k; auto.
Qed.

## plot.py
#!/usr/bin/env python
import sys
import re
import matplotlib.pyplot as plt
import matplotlib.cm as cm
from numpy import array
from matplotlib import animation

data = {}

## scan-hackage.sh
#!/bin/bash

ROOT=http://hackage.haskell.org

PACKAGES=`curl -s http://hackage.haskell.org/packages/ \
  | sed 's/href/\n/g' \
  | grep -o '/package/[^"]*'`

echo Total number of packages
echo $PACKAGES | wc -w

## index.html
<!DOCTYPE html>
<html>
<style>
html, body {
  margin: 0;
  color: #444;
}
#spinner {
  display: none;
  text-align: center;

## index.html
<!doctype html>
<html>
<head>
  <meta charset="utf-8">
  <link href="http://fonts.googleapis.com/css?family=Raleway:400,300,600" rel="stylesheet" type="text/css">
  <style>
     body {
       margin: 0;
       font-family: "Raleway", Helvetica, sans-serif;
       color: #313;

## index.html
<!doctype html>
<html>
<head>
  <script type="text/x-mathjax-config">
    MathJax.Hub.Config({
      tex2jax: {
        inlineMath: [["$","$"]],
        skipTags: ['script', 'noscript', 'style']
      }
    });

## index.html
<!DOCTYPE html>
<html>
<head>
  <meta charset="utf-8">
  <style>
    body { text-align: center; }
    svg { font: 10px sans-serif; }
    path, line {
      fill: none;
      stroke: #000;
	{-# LANGUAGE OverloadedStrings #-}
	{-# LANGUAGE MultiParamTypeClasses, FlexibleInstances #-}
	{-# LANGUAGE OverlappingInstances #-}

	import Data.Attoparsec.Text as P
	import Data.Text (Text)
	import Control.Applicative


	data A = A {a1 :: Int, a2 :: Text}
	<!DOCTYPE html>
	<!-- По мотивам http://macroevolution.livejournal.com/168362.html -->
	<meta charset="utf-8">
	<style>
	</style>
	<body>
	<script src="http://d3js.org/d3.v3.min.js"></script>
	<script src="http://coffeescript.org/extras/coffee-script.js"></script>
	<script src="http://underscorejs.org/underscore-min.js"></script>
	<script type="text/coffeescript">
	Require Import Omega.
	Require Import Coq.Arith.Peano_dec. (* eq_nat_dec *)


	Lemma nex_to_forall : forall k n x : nat, forall f,
	(~exists k, k < n /\ f k = x) -> k < n -> f k <> x.
	Proof.
	intros k n x f H_nex H_P H_Q.
	apply H_nex; exists k; auto.
	Qed.
	#!/usr/bin/env python
	import sys
	import re
	import matplotlib.pyplot as plt
	import matplotlib.cm as cm
	from numpy import array
	from matplotlib import animation

	data = {}
	#!/bin/bash

	ROOT=http://hackage.haskell.org

	PACKAGES=`curl -s http://hackage.haskell.org/packages/ \
	\| sed 's/href/\n/g' \
	\| grep -o '/package/[^"]*'`

	echo Total number of packages
	echo $PACKAGES \| wc -w
	<!DOCTYPE html>
	<html>
	<style>
	html, body {
	margin: 0;
	color: #444;
	}
	#spinner {
	display: none;
	text-align: center;
	<!doctype html>
	<html>
	<head>
	<meta charset="utf-8">
	<link href="http://fonts.googleapis.com/css?family=Raleway:400,300,600" rel="stylesheet" type="text/css">
	<style>
	body {
	margin: 0;
	font-family: "Raleway", Helvetica, sans-serif;
	color: #313;