James Bornholt (@jamesbornholt)
github

jamesbornholt

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    112
  • Global Rank 187,569 (Top 7 %)
  • Followers 222
  • Following 13
  • Registered about 13 years ago
  • Most used languages
    Python
         21.4 %
    HTML
         14.3 %
    Racket
         14.3 %
    Go
         14.3 %
    JavaScript
         7.1 %
    Rust
         7.1 %
    TeX
         7.1 %
    PHP
         7.1 %
    SMT     7.1 %
  • Location 🇺🇸 United States
  • Country Total Rank 41,309
  • Country Ranking
    SMT     7
    Racket
         87
    Rust
         4,657
    TeX
         5,008

Top repositories

1

z3-ios

run z3 on iOS for some reason
SMT
35
star
2

ocelot

A synthesis-enabled solver for relational logic
Racket
28
star
3

plotty

plots stuff
Python
22
star
4

rustsat

a toy Rust SAT solver
Rust
5
star
5

topauthors

Top conference authors
Python
3
star
6

quivela

Quivela is a prototype tool for constructing proofs of the security of cryptographic protocols.
Python
3
star
7

homepage

academic homepage? zzzzzz
HTML
3
star
8

sympro-ui

Symbolic profiling front-end
JavaScript
2
star
9

mipso

it's mipso, a mips simulator! mips, architecture of the future
Go
2
star
10

comp1140-talk

a talk i gave about verification
Racket
1
star
11

election2010results

Quickly hacked together to visualise some Australian election 2010 results by polling booth
PHP
1
star
12

gosat

stupid SAT solver written in go
Go
1
star
13

docker-latex

LaTeX docker image for building papers
1
star
14

sigplan-template

my template for sigplanconf latex papers
TeX
1
star
15

dnastorage-www

Our ASPLOS'16 DNA Storage paper in HTML
HTML
1
star