j
joshvera
Worked at GitHub. I run a Tiki bar in East Village.
107 repositories
456 followers
New York, NY
Repositories
Select a repository to view its commits, contributors, and more.public
iPhone-Tetris
A little iPhone tetris game written with cocos2d
Objective-C
57
24
0
Updated 5 days ago
public
generative-effects
Some notes on generative effects
21
3
1
Updated a year ago
public
effects
An implementation of "Freer Monads, More Extensible Effects".
Haskell
20
5
2
Updated 2 years ago
public
idris-objc-demo
An Idris -> Objective-C demo
Shell
10
0
0
Updated 6 years ago
public
software-foundations-in-idris
A handful of exercises from Software Foundations translated to Idris
4
0
0
Updated 9 years ago
public
dotfiles
Emacs Lisp
4
0
0
Updated 6 months ago
public
effects-tutorial
Oleg's effects tutorial from ICFP 2016.
Haskell
2
0
0
Updated 5 years ago
public
.emacs.d
My .emacs.d config
Emacs Lisp
0
0
0
Updated 12 years ago
public
github-for-developers-7
0
0
4
Updated 9 years ago
public
.doom.d
Doom Emacs config
Emacs Lisp
0
0
0
Updated 6 years ago
public
data-lineage-tracker
scope graphs by any other name
Rust
0
0
0
Updated 2 months ago
public
ide-haskell
Haskell language support for Atom
JavaScript
0
1
0
Updated 7 years ago