GaloisInc/saw-script

The SAW scripting language.

HaskellCoqPythonLLVMCRustOther
This is stars and forks stats for /GaloisInc/saw-script repository. As of 29 Mar, 2024 this repository has 421 stars and 71 forks.

SAWScript This repository contains the code for SAWScript, the scripting language that forms the primary user interface to the Software Analysis Workbench (SAW). It provides the ability to reason about formal models describing the denotation of programs written in languages such as C, Java, and Cryptol. It also provides experimental, incomplete support for the Rust language. Documentation The SAWScript tutorial gives an introduction to using the SAWScript interpreter. A longer manual describes the...
Read on GithubGithub Stats Page
repotechsstarsweeklyforksweekly
Haskell-Things/ImplicitCADHaskellJavaScriptMakefile1.2k01420
stefan-hoeck/idris2-packIdrisShellOther680150
robertmartin8/PyPortfolioOptJupyter NotebookPython3.8k+108610
android-password-store/Android-Password-StoreKotlinOther2.3k-22430
Booodaness/Scientific-NotesMarkdownJavaScriptJSON35030
elementary/iconsMesonPythonShell5280810
yugabyte/chartsMustachePythonShell200370
rime/squirrelObjective-CShellC4k+83850
coloradocolby/thokrRustDockerfile482+1130
rust-lang/miriRustOther3.5k02720