Giters
Ben Lippmeier (benl23x5)

benl23x5

Geek Repo

113

followers

1

following

1

stars

Company:Ghost Locomotion

Location:Sydney, Australia

Home Page:http://benl.ouroborus.net

Github PK Tool:Github PK Tool

Organizations
discus-lang
fp-syd
haskell-repa
rainfall-lang
vertigotechnology

Ben Lippmeier's starred repositories

velus

A Lustre compiler in Coq

Language:CoqLicense:NOASSERTIONStargazers:58Issues:0Issues:0