GitHub Explorer

Explore Rankings Search Author shots

Preview of GaloisInc/saw-script

GaloisInc/saw-script

The Software Analysis Workbench

★ 527 Stars

⑂ 86 Forks

○ 527 Watchers

✖ 522 Issues

Haskell

Last push: 1d ago

Created:

↗ View on GitHub

Loading additional information…

Subscribe

Register

Data source: GitHub REST & GraphQL APIs. This project is not affiliated with, sponsored by, or endorsed by GitHub, Inc.

Data cached · Rate limits apply · Built with Django + HTMX

Subscribe

Get curated open-source highlights by email.

Name

Email