SRI International's Computer Science Laboratory

NTT Public
An Implementation of the Number Theoretic Transform

C 13 MIT 3 0 0 Updated Jun 20, 2022
yices2 Public
The Yices SMT Solver

SMT 295 GPL-3.0 38 27 0 Updated Jun 17, 2022
arsenal-base Public

Python 5 3 0 0 Updated Jun 17, 2022
TrinityMultimodalTrojAI Public

Python 9 GPL-3.0 0 0 0 Updated Jun 14, 2022
PVS Public
The People's Verification System

Common Lisp 91 GPL-2.0 27 18 1 Updated Jun 3, 2022
solidity Public
This is solc-verify, a modular verifier for Solidity.

C++ 35 GPL-3.0 4,095 44 0 Updated Jun 2, 2022
libpoly Public
LibPoly is a C library for manipulating polynomials

C 35 LGPL-3.0 12 11 0 Updated May 30, 2022
OCCAM-Benchmarks Public
Set of benchmarks used by the OCCAM tool.

Python 1 BSD-3-Clause 4 3 0 Updated May 26, 2022
yices2_ocaml_bindings Public

OCaml 9 GPL-3.0 2 0 0 Updated May 14, 2022
descert-example Public
a place where we can play with DesCert gradle plugins

Dockerfile 0 Apache-2.0 1 1 1 Updated May 13, 2022

Pinned