jamesbornholt Goto Github PK

aws-c-auth

C99 library implementation of AWS client-side authentication: standard credentials providers and signing.

aws-c-common

Core c99 package for AWS SDK for C. Includes cross-platform primitives, configuration, data structures, and error handling.

aws-checksums

Cross-Platform HW accelerated CRC32c and CRC32 with fallback to efficient SW implementations. C interface with language bindings for each of our SDKs

boolector

A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.

cadical

CaDiCaL SAT Solver

comp1140-talk

a talk i gave about verification

comptr-arch-bot

crossbot

A slackbot to compete on mini crosswords (or any other daily challenge).

dafny

Dafny is a verification-aware programming language

dnastorage-www

Our ASPLOS'16 DNA Storage paper in HTML

docker-latex

LaTeX docker image for building papers

election2010results

Quickly hacked together to visualise some Australian election 2010 results by polling booth

errortrace

fuser

Filesystem in Userspace (FUSE) for Rust

generator-rs

rust stackful generator library

gosat

stupid SAT solver written in go

homebrew-cask

A CLI workflow for the administration of Mac applications distributed as binaries

homepage

academic homepage? zzzzzz

hooknook

a little place for your deployments

linux

Linux kernel source tree

loom

Concurrency permutation testing tool for Rust.

minisat

A minimalistic and high-performance SAT solver

mipso

it's mipso, a mips simulator! mips, architecture of the future

mountpoint-s3

A simple, high-throughput file client for mounting an Amazon S3 bucket as a local file system.

ocelot

A synthesis-enabled solver for relational logic

plotty

plots stuff

programsynthesis

Automatic bit vector program generation.

quivela

Quivela is a prototype tool for constructing proofs of the security of cryptographic protocols.

racket

The Racket repository

racket-gui