Joe Hendrix Joe Hendrix

Tracking 1.29K commits to 32 open source packages


Homepage: http://whoisjoe.info

Company: Galois

Location: Portland, OR


Repositories Contributed To

soonhokong/lean-windows
DO NOT FORK - It's only for triggering Windows build
C++ - Apache-2.0 - Last pushed - 0 stars
soonhokong/lean-osx
DO NOT FORK - It's only for triggering OSX build
C++ - Apache-2.0 - Last pushed - 1 stars - 2 forks
gibiansky/IHaskell
A Haskell kernel for IPython.
Haskell - MIT - Last pushed - 2.02K stars - 215 forks
elliottt/llvm-pretty
An llvm pretty printer inspired by the haskell llvm binding
Haskell - BSD-3-Clause - Last pushed - 14 stars - 8 forks
See all Joe Hendrix's contributions

Last synced: 2016-12-17 08:49:42 UTC

Login to resync this page