Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by SRI-CSL
A curated list of projects in awesome lists by SRI-CSL .
https://github.com/SRI-CSL/yices2
The Yices SMT Solver
sat-solver satisfiability satisfiability-modulo-theories smt-solver theorem-prover
Last synced: 02 Aug 2024
https://github.com/sri-csl/gllvm
Whole Program LLVM: wllvm ported to go
bitcode bitcode-files bitcode-generation clang compilers klee llvm
Last synced: 13 Oct 2024
https://github.com/SRI-CSL/gllvm
Whole Program LLVM: wllvm ported to go
bitcode bitcode-files bitcode-generation clang compilers klee llvm
Last synced: 02 Aug 2024
https://sri-csl.github.io/stegotorus/
A Camouflage Proxy for the Tor Anonymity System
Last synced: 01 Aug 2024
https://github.com/sri-csl/stegotorus
A Camouflage Proxy for the Tor Anonymity System
Last synced: 03 Aug 2024
https://github.com/SRI-CSL/stegotorus
A Camouflage Proxy for the Tor Anonymity System
Last synced: 02 Nov 2024
https://github.com/SRI-CSL/solidity
This is solc-verify, a modular verifier for Solidity.
ethereum formal-specification formal-verification solidity
Last synced: 26 Oct 2024