-
z3-ios
run z3 on iOS for some reason
SMT ★ 38 3y agoExplain → -
ocelot
A synthesis-enabled solver for relational logic
Racket ★ 29 8y agoExplain → -
plotty
plots stuff
Python ★ 22 4y agoExplain → -
rustsat
a toy Rust SAT solver
Rust ★ 5 5y agoExplain → -
mipso
it's mipso, a mips simulator! mips, architecture of the future
Go ★ 3 11y agoExplain → -
quivela
Quivela is a prototype tool for constructing proofs of the security of cryptographic protocols.
Python ★ 3 8y agoExplain → -
topauthors
Top conference authors
Python ★ 3 9y agoExplain → -
rosette ⑂
The Rosette solver-aided host language, sample solver-aided DSLs, and demos
Racket ★ 2 3y agoExplain → -
sympro-ui
Symbolic profiling front-end
JavaScript ★ 2 7y agoExplain → -
opencode ⑂
The open source coding agent.
★ 1 5mo agoExplain → -
gosat
stupid SAT solver written in go
Go ★ 1 11y agoExplain → -
ProgramSynthesis ⑂
Automatic bit vector program generation.
★ 1 5y agoExplain → -
dnastorage-www
Our ASPLOS'16 DNA Storage paper in HTML
HTML ★ 1 10y agoExplain → -
docker-latex
LaTeX docker image for building papers
★ 1 10y agoExplain → -
sigplan-template
my template for sigplanconf latex papers
TeX ★ 1 10y agoExplain → -
comp1140-talk
a talk i gave about verification
Racket ★ 1 10y agoExplain → -
election2010results
Quickly hacked together to visualise some Australian election 2010 results by polling booth
PHP ★ 1 15y agoExplain → -
iceberg-python ⑂
PyIceberg
Python ★ 0 2mo agoExplain → -
shuttle ⑂
Shuttle is a library for testing concurrent Rust code
Rust ★ 0 2y agoExplain → -
smithy-rs ⑂
No description.
★ 0 3y agoExplain → -
aws-c-auth ⑂
C99 library implementation of AWS client-side authentication: standard credentials providers and signing.
★ 0 2y agoExplain → -
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
★ 0 3y agoExplain → -
aws-c-common ⑂
Core c99 package for AWS SDK for C. Includes cross-platform primitives, configuration, data structures, and error handling.
C ★ 0 3y agoExplain → -
mountpoint-s3 ⑂
A simple, high-throughput file client for mounting an Amazon S3 bucket as a local file system.
Rust ★ 0 2y agoExplain → -
fuser ⑂
Filesystem in Userspace (FUSE) for Rust
★ 0 2y agoExplain → -
testtesttest
No description.
★ 0 2y agoExplain → -
loom ⑂
Concurrency permutation testing tool for Rust.
Rust ★ 0 4y agoExplain → -
repackage ⑂
A terrible and nerve-inducing tool to rename a crate in a .crate file
★ 0 5y agoExplain → -
generator-rs ⑂
rust stackful generator library
★ 0 5y agoExplain → -
linux ⑂
Linux kernel source tree
★ 0 5y agoExplain → -
racket ⑂
The Racket repository
Racket ★ 0 6y agoExplain → -
dafny ⑂
Dafny is a verification-aware programming language
C# ★ 0 4y agoExplain → -
cadical ⑂
CaDiCaL SAT Solver
C++ ★ 0 7y agoExplain → -
boolector ⑂
A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.
SMT ★ 0 7y agoExplain → -
racket-gui ⑂
No description.
Racket ★ 0 8y agoExplain → -
homebrew-cask ⑂
A CLI workflow for the administration of Mac applications distributed as binaries
Ruby ★ 0 6y agoExplain → -
VS-Code-Language-Server-for-Dafny ⑂
No description.
TypeScript ★ 0 8y agoExplain → -
errortrace ⑂
No description.
Racket ★ 0 8y agoExplain → -
crossbot ⑂
A slackbot to compete on mini crosswords (or any other daily challenge).
Python ★ 0 9y agoExplain → -
racket-profile ⑂
No description.
Racket ★ 0 10y agoExplain → -
hooknook ⑂
a little place for your deployments
Python ★ 0 10y agoExplain → -
souper ⑂
A superoptimizer for LLVM IR
C++ ★ 0 10y agoExplain → -
minisat ⑂
A minimalistic and high-performance SAT solver
C++ ★ 0 11y agoExplain → -
stp ⑂
Simple Theorem Prover.
C++ ★ 0 11y agoExplain → -
yaml-lint ⑂
Simple yaml check tool
Ruby ★ 0 11y agoExplain → -
comptr-arch-bot ⑂
No description.
Python ★ 0 11y agoExplain →
No repos match these filters.