Paul Heymann
Results
3
repositories owned by
Paul Heymann
typedapi
161
Stars
10
Forks
Watchers
Build your web API on the type level.
specdris
56
Stars
9
Forks
Watchers
A test framework for Idris
scala-reveal-js
45
Stars
6
Forks
Watchers
Build reveal.js presentations in Scala