pheymann

pheymann

👤 Developer

2 repositories on SrcLog

View on GitHub
2 Repos
216 Stars
17 Forks
17 Watchers

🏆 Show off this rank

pheymann on SrcLog (holo style)

Add it to a GitHub README or profile — the card updates as the ranking changes:

Repositories (2)

typedapi pheymann/typedapi Scala

Build your web API on the type level.

161
specdris pheymann/specdris Idris

A test framework for Idris

55