James Baker

icon indicating an email [email protected]

icon location London, UK

Results 2 repositories owned by James Baker

l1c

55
Stars
10
Forks
Watchers

l1c is a simple formally verified compiler for a while language

verified publisher icon j-baker

loom-experiments

17
Stars
3
Forks
Watchers

verified publisher icon j-baker