jamesbornholt

z3-ios

run z3 on iOS for some reason

ocelot

A synthesis-enabled solver for relational logic

plotty

plots stuff

rustsat

a toy Rust SAT solver

homepage

academic homepage? zzzzzz

quivela

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

rosette

The Rosette solver-aided host language, sample solver-aided DSLs, and demos

sympro-ui

Symbolic profiling front-end

ProgramSynthesis

Automatic bit vector program generation.

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

crossbot

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

dafny

Dafny is a verification-aware programming language

errortrace

fuser

Filesystem in Userspace (FUSE) for Rust

generator-rs

rust stackful generator library

homebrew-cask

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

linux

Linux kernel source tree

loom

Concurrency permutation testing tool for Rust.

mountpoint-s3

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

racket

The Racket repository

racket-gui

repackage

A terrible and nerve-inducing tool to rename a crate in a .crate file

shuttle

Shuttle is a library for testing concurrent Rust code

smithy-rs

testtesttest

VS-Code-Language-Server-for-Dafny