Create your own GitHub profile
Sign up for your own profile on GitHub, the best place to host code, manage projects, and build software alongside 28 million developers.
Forked from urbit/archaeology
An Operating Function
Forked from jkingdon/ghilbert-app
mirror of the wiki/proof content at https://ghilbert-app.appspot.com/ (as of 2013, updated manually only; might be out of date)
Twiddler configuration generator
A platform for selling trusted computation
Content-Addressable GHilbert Namespace and Index
Automatically exported from code.google.com/p/multideck
72 contributions in the last year
abliss has no activity yet for this period.
This makes it hard to iterate.
run "make". Let it get through building uboot, but fail somewhere later.
edit the makefiles to try to fix th…
Press h to open a hovercard with more details.