osa1 github gitlab twitter cv rss

Recent posts

All posts…

Tags

asm (1), box2d (1), c (2), coffeescript (1), coq (9), cpp (3), cps (1), django (9), en (98), ffi (1), gdb (1), ghc (12), ghcjs (2), git (1), gsoc (2), haskell (50), hslua (2), java (15), javascript (3), kframework (1), lisp (14), lua (13), multi-stage programming (6), nautilus (2), ocaml (6), parsing (3), partial evaluation (3), plt (8), prolog (2), pygame (5), python (38), rpython (1), rust (5), shen (2), supercompilation (5), threejs (1), tr (87), types (6), vim (8)