Skip to content

Instantly share code, notes, and snippets.

View kdxu's full-sized avatar
😈
focusing

Kyoko KADOWAKI kdxu

😈
focusing
35 followers · 21 following
View GitHub Profile
@kdxu
kdxu / Pollocksconjecture.cpp
Created July 7, 2014 09:35
#include <iostream>
#include <sstream>
#include <string>
#include <cmath>
#include <cstdio>
#include <vector>
#include <map>
#include <set>
#include <queue>
#include <deque>
@kdxu
kdxu / napzack.cpp
Created July 8, 2014 04:30
#include <iostream>
#include <sstream>
#include <string>
#include <cmath>
#include <cstdio>
#include <vector>
#include <map>
#include <set>
#include <queue>
#include <deque>
@kdxu
kdxu / FirstOrderUnificationbyStructuralRecursion.agda
Last active August 29, 2015 14:03
module FirstOrderUnificationbyStructuralRecursion where
open import Relation.Binary.PropositionalEquality
open Relation.Binary.PropositionalEquality.≡-Reasoning
open import Data.Nat
open import Data.Product
open import Data.Empty
open import Data.Fin
open import Data.Bool
data Maybe (A : Set) : Set where
@kdxu
kdxu / MondaySaturdayPrimeFactors.cpp
Last active August 29, 2015 14:03
#include <iostream>
#include <sstream>
#include <string>
#include <cmath>
#include <cstdio>
#include <vector>
#include <map>
#include <set>
#include <queue>
#include <deque>
@kdxu
kdxu / b.cpp
Created July 11, 2014 10:54
#include<iostream>
#include<sstream>
#include<string>
#include<cmath>
#include<cstdio>
#include<vector>
#include<map>
#include<set>
#include<queue>
#include<deque>
@kdxu
kdxu / a.cpp
Created July 11, 2014 10:58
#include<iostream>
#include<sstream>
#include<string>
#include<cmath>
#include<cstdio>
#include<vector>
#include<map>
#include<set>
#include<queue>
#include<deque>
@kdxu
kdxu / c.cpp
Created July 11, 2014 10:59
#include<iostream>
#include<sstream>
#include<string>
#include<cmath>
#include<cstdio>
#include<vector>
#include<map>
#include<set>
#include<queue>
#include<deque>
@kdxu
kdxu / poke.js
Last active August 29, 2015 14:04
setInterval(
function(){
var pokes = documentgetElementsByTagName('a')
for (var i = 0; i<pokes.length; i++) {
var e = pokes[i]
if(e.getAttribute('ajaxify')&&e.getAttribute('ajaxify').match(/^\/ajax\/pokes\//)){
console.log("POKE")
e.click()} }}, 1000)
@kdxu
kdxu / FUSR.agda
Last active August 29, 2015 14:04
module FUSR where
open import Relation.Binary.PropositionalEquality
open Relation.Binary.PropositionalEquality.≡-Reasoning
open import Data.Nat
open import Data.Product
open import Data.Empty
open import Data.Fin
open import Data.Sum
open import Data.Bool
import Level
@kdxu
kdxu / Infer.agda
Created August 17, 2014 12:55
module Infer where
open import Relation.Binary.PropositionalEquality
open Relation.Binary.PropositionalEquality.≡-Reasoning
open import Data.Nat
open import Data.Vec
open import Data.Product
open import Data.Empty
open import Data.Fin hiding (_+_)
open import Data.Sum
open import Data.Bool