jamesbornholt/dnastorage-www jamesbornholt/dnastorage-www

  • Stars
    star
    1
  • Language
    HTML
  • Created over 8 years ago
  • Updated over 8 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
jamesbornholt/dnastorage-www
github

jamesbornholt

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Our ASPLOS'16 DNA Storage paper in HTML

More 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

mipso

it's mipso, a mips simulator! mips, architecture of the future
Go
3
star
8

homepage

academic homepage? zzzzzz
HTML
3
star
9

sympro-ui

Symbolic profiling front-end
JavaScript
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

sigplan-template

my template for sigplanconf latex papers
TeX
1
star
14

docker-latex

LaTeX docker image for building papers
1
star