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.Sign up
- London, UK
- Sign in to view email
l1c is a simple formally verified compiler for a while language
Supervision work Slang compiler.
Forked from poole/lanyon
A simple personal blog.
An incredibly simple, privacy safe BSD-licensed Android app for torch control.
177 contributions in the last year
Created a pull request in palantir/http-remoting-api that received 4 comments
Created an issue in palantir/atlasdb that received 2 comments
A callback chain is created in TransactionManagers, but it is only ever started, never stopped. Unfortunately that means that our logs are filled w…