Pinned Repositories
ExploringCoyote
rust-build-fix
Fixing Rust compilation errors using LLMs
boogie
Boogie
corral
solver for the reachability modulo theories problem
sdvbench
Microsoft Static Driver Verifier Benchmarks
coyote
Coyote is a library and tool for testing concurrent C# code and deterministically reproducing bugs.
loop-invariant-gen-experiments
Loop invariant generation with LLMs
weak-isolation-mock-db
In-memory key-value store for testing applications against weak behaviors of a database.
P
The P programming language.
PSharp
A framework for rapid development of reliable asynchronous software.
akashlal's Repositories
akashlal/ExploringCoyote
akashlal/rust-build-fix
Fixing Rust compilation errors using LLMs