James Bornholt

icon indicating a website link https://jamesbornholt.com icon indicating an email [email protected]

icon company @aws icon location Seattle icon location computerer

Results 3 repositories owned by James Bornholt
trafficstars

ocelot

27
Stars
8
Forks
Watchers

A synthesis-enabled solver for relational logic

verified publisher icon jamesbornholt

plotty

22
Stars
1
Forks
Watchers

plots stuff

verified publisher icon jamesbornholt

z3-ios

38
Stars
2
Forks
Watchers

run z3 on iOS for some reason

verified publisher icon jamesbornholt