Pinned Repositories
mountpoint-s3
A simple, high-throughput file client for mounting an Amazon S3 bucket as a local file system.
shuttle
Shuttle is a library for testing concurrent Rust code
ocelot
A synthesis-enabled solver for relational logic
plotty
plots stuff
rustsat
a toy Rust SAT solver
z3-ios
run z3 on iOS for some reason
memsynth
An advanced automated reasoning tool for memory consistency model specifications.
synapse
Optimizing Synthesis with Metasketches, POPL 2016
jamesbornholt's Repositories
jamesbornholt/z3-ios
run z3 on iOS for some reason
jamesbornholt/ocelot
A synthesis-enabled solver for relational logic
jamesbornholt/plotty
plots stuff
jamesbornholt/rustsat
a toy Rust SAT solver
jamesbornholt/homepage
academic homepage? zzzzzz
jamesbornholt/quivela
Quivela is a prototype tool for constructing proofs of the security of cryptographic protocols.
jamesbornholt/rosette
The Rosette solver-aided host language, sample solver-aided DSLs, and demos
jamesbornholt/sympro-ui
Symbolic profiling front-end
jamesbornholt/ProgramSynthesis
Automatic bit vector program generation.
jamesbornholt/aws-c-auth
C99 library implementation of AWS client-side authentication: standard credentials providers and signing.
jamesbornholt/aws-c-common
Core c99 package for AWS SDK for C. Includes cross-platform primitives, configuration, data structures, and error handling.
jamesbornholt/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
jamesbornholt/boolector
A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.
jamesbornholt/cadical
CaDiCaL SAT Solver
jamesbornholt/crossbot
A slackbot to compete on mini crosswords (or any other daily challenge).
jamesbornholt/dafny
Dafny is a verification-aware programming language
jamesbornholt/errortrace
jamesbornholt/fuser
Filesystem in Userspace (FUSE) for Rust
jamesbornholt/generator-rs
rust stackful generator library
jamesbornholt/homebrew-cask
A CLI workflow for the administration of Mac applications distributed as binaries
jamesbornholt/linux
Linux kernel source tree
jamesbornholt/loom
Concurrency permutation testing tool for Rust.
jamesbornholt/mountpoint-s3
A simple, high-throughput file client for mounting an Amazon S3 bucket as a local file system.
jamesbornholt/racket
The Racket repository
jamesbornholt/racket-gui
jamesbornholt/repackage
A terrible and nerve-inducing tool to rename a crate in a .crate file
jamesbornholt/shuttle
Shuttle is a library for testing concurrent Rust code
jamesbornholt/smithy-rs
jamesbornholt/testtesttest
jamesbornholt/VS-Code-Language-Server-for-Dafny