Discover @joshvera Open Source projects

Josh Vera (@joshvera)

joshvera

Stars
141
Global Rank 161,142 (Top 6 %)
Followers 446
Following 73
Registered about 16 years ago
Most used languages

Haskell
40.0 %

Objective-C
20.0 %

Shell
20.0 %

Emacs Lisp
20.0 %
Location 🇺🇸 United States
Country Total Rank 36,117
Country Ranking

Haskell
573

Emacs Lisp
1,091

Objective-C
1,469

Shell
8,442

iPhone-Tetris

A little iPhone tetris game written with cocos2d

generative-effects

Some notes on generative effects

effects

An implementation of "Freer Monads, More Extensible Effects".

idris-objc-demo

An Idris -> Objective-C demo

dotfiles

software-foundations-in-idris

A handful of exercises from Software Foundations translated to Idris

effects-tutorial

Oleg's effects tutorial from ICFP 2016.