jamesbornholt/ocelot jamesbornholt/ocelot

  • Stars
    star
    28
  • Rank 864,414 (Top 18 %)
  • Language
    Racket
  • License
    BSD 2-Clause "Sim...
  • Created over 7 years ago
  • Updated about 6 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
jamesbornholt/ocelot
github

jamesbornholt

Reviews

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

Repository Details

A synthesis-enabled solver for relational logic

More Repositories

1

z3-ios

run z3 on iOS for some reason
SMT
35
star
2

plotty

plots stuff
Python
22
star
3

rustsat

a toy Rust SAT solver
Rust
5
star
4

topauthors

Top conference authors
Python
3
star
5

quivela

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

homepage

academic homepage? zzzzzz
HTML
3
star
7

sympro-ui

Symbolic profiling front-end
JavaScript
2
star
8

mipso

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

comp1140-talk

a talk i gave about verification
Racket
1
star
10

election2010results

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

gosat

stupid SAT solver written in go
Go
1
star
12

docker-latex

LaTeX docker image for building papers
1
star
13

sigplan-template

my template for sigplanconf latex papers
TeX
1
star
14

dnastorage-www

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