1 |
Higher kinded parametricity |
2 |
Polymorphic programming |
3 |
Constraints are for methods, not data |
4 |
10x engineers were the silver bullet |
5 |
Tool subsumption and silver bullets |
6 |
Haskell on android using eta |
7 |
Running unpatched binaries on nixos |
8 |
How to stop functional programming |
9 |
Don't write code on line #45 |
10 |
Quickchecking non-haskell code |
11 |
This blog uses ıdris |
12 |
Evenodd in agda, ıdris, haskell, scala |
13 |
ıdris as a library |
14 |
Scala code linting via wartremover 0.4 |
15 |
Odd odd even agda proof, take (suc (suc zero)) |
16 |
Bottom-up type annotation with the cofree comonad |
17 |
Row polymorphism ısn't subtyping |
18 |
Read-only guest tmux sessions |
19 |
Category theory for promises/a+ |
20 |
Applicative validation in javascript |
21 |
Haskell buildpack for heroku |
22 |
Bilby.js - quickcheck |
23 |
ıntroducing bilby.js |
24 |
Roy - constraint typing |
25 |
Gll combinators - whitespace fix |
26 |
Dripper git support |
27 |
Scalasyd - monad transformers |
28 |
Osxmonad using stackset |
29 |
Osxmonad as an xmonad library |
30 |
Os x tiling window manager |
31 |
Javascript ad hoc single dispatch library |
32 |
Spainjs |
33 |
Craftyjs running character demo |
34 |
Foldable1/traverse1 for scalaz |
35 |
Using scalacheck with akka and specs2 |
36 |
Roy - ıeee article |
37 |
Govhack 2012 |
38 |
Naggly |
39 |
Haskell on heroku |
40 |
Roy - jasmine tests |
41 |
Roy - type-cla*** function constraints |
42 |
Roy - ınitial source maps |
43 |
Roy - type-cla***es and how they fix primitives |
44 |
Roy - highlighting on website |
45 |
Roy - clı compile browser modules |
46 |
Roy - modules in master |
47 |
Roy - breaking changes |
48 |
Ray - roy on play |
49 |
Diabetes fundraiser poster |
50 |
Roy - fp-syd |
51 |
Roy - repl ımprovements |
52 |
Roy - dom tests |
53 |
Roy - browser modules |
54 |
Roy - node.js modules |
55 |
Roy - type system doc***entation |
56 |
Type errors as warnings |
57 |
Roy - doc***entation |
58 |
Roy - literate roy |
59 |
Rome - roy as chrome extension |
60 |
Roy - separate compilation |
61 |
Roy - pretty printing |
62 |
Roy - recursive data |
63 |
Roy's big week |
64 |
Sydjs presentation on altjs |
65 |
Bigtext slideshow |
66 |
S-expression compiler in scala |
67 |
Launch48 sydney |
68 |
Roy - type aliases |
69 |
Roy - tuples |
70 |
Roy - deep pattern matching |
71 |
Roy ımprovements |
72 |
Time lapse |
73 |
Pyweek #13 |
74 |
Jreversepro |
75 |
Cloud9 user script |
76 |
Pyweek - 8 pixels and python reloading |
77 |
Odd odd even agda proof |
78 |
Gdd html5 challenge |
79 |
Ringneck - pasm to js |
80 |
Climacs |
81 |
Escaping callback h**** with clojurescript macros |
82 |
Roy - tests (finally) |
83 |
Learn nintendo ds a haskell |
84 |
Roy - meta-programming and a repl |
85 |
Roy - standard library |
86 |
Roy - monad syntax |
87 |
Roy - structural typing |
88 |
Roy - simple pattern matching |
89 |
Roy |
90 |
Simple lexer in javascript |
91 |
Type ınference in javascript |
92 |
Minimalist android scala environment |
93 |
Haskell: from a parallel perspective |
94 |
When ı was 3... |
95 |
Wanted: unparallel project in need of good optimisation |
96 |
Node.js webgl |
97 |
Gsoc ıntroduction |
98 |
Pyweek 2010 |
99 |
Javascript as a functional language |
100 |
Node.js via cgı |