GaloisInc / saw-script

git clone https://github.com/GaloisInc/saw-script.git

The Software Analysis Workbench

stars, 24h · #42,137

+~2

stars, 7 days · #26,340

+~10

stars, 30 days · #29,905

522

★ total · +0% this week

forks · 525 open issues

2026-10-20 · 521 ★ 2026-10-23 · 522 ★

LanguageHaskell

LicenseBSD-3-Clause

Created2015-04-16 (11y ago)

Last pushtoday

OwnerOrganization