SRI International's Computer Science Laboratory

82 followers
Menlo Park, California
https://sri-csl.github.io

Overview
Repositories
Projects
Packages
People

README.md

SRI International's Computer Science Laboratory

The Computer Science Laboratory studies the logical foundations of scalable systems that are beyond the scope of traditional testing or simulation, and builds and applies efficient high-level tools for rigorous mechanical analysis. Current systems of interest include not only traditional computer hardware and software, but also biological systems and nanoelectronics.

Pinned Loading

yices2 yices2 Public

SRI Yices SMT Solver

SMT 470 68
gllvm gllvm Public

Whole Program LLVM: wllvm ported to go

Go 342 40
PVS PVS Public

The People's Verification System

Common Lisp 182 38
stegotorus stegotorus Public

A Camouflage Proxy for the Tor Anonymity System

C++ 87 17
sally sally Public

SRI Sally: A model checker for infinite-state systems.

C++ 79 15
libpoly libpoly Public

SRI LibPoly is a C library for manipulating polynomials

C 64 20

Repositories

Type Language

Select language

All Assembly C C++ Clojure Common Lisp Cython Dockerfile eC Go Java Jupyter Notebook Kotlin LLVM NewLisp OCaml Python Ruby Rust Shell SMT Solidity

Sort

pvs-playground Public

SRI-CSL/pvs-playground's past year of commit activity

C 1 2 0 0 Updated Aug 24, 2026
PVS Public
The People's Verification System

SRI-CSL/PVS's past year of commit activity

Common Lisp 182 BSD-3-Clause 38 17 0 Updated Aug 23, 2026
yices2 Public
SRI Yices SMT Solver

SRI-CSL/yices2's past year of commit activity

SMT 470 GPL-3.0 68 31 3 Updated Aug 8, 2026
BayesAdapt Public
[UAI 2026 Oral] Bayesian Adaptation Gym (BAG): a library for the Bayesian adaptation of LLMs and VLMs.

SRI-CSL/BayesAdapt's past year of commit activity

Python 6 0 0 0 Updated Aug 5, 2026
yices2_ocaml_bindings Public

SRI-CSL/yices2_ocaml_bindings's past year of commit activity

OCaml 12 GPL-3.0 4 0 0 Updated Jun 28, 2026
libpoly_ocaml_bindings Public
OCaml bindings for libpoly

SRI-CSL/libpoly_ocaml_bindings's past year of commit activity

OCaml 3 GPL-3.0 4 0 0 Updated Jun 3, 2026
ndk Public
Neurogram Deconvolution Kit

SRI-CSL/ndk's past year of commit activity

Python 1 Apache-2.0 2 0 0 Updated May 29, 2026
libpoly Public
SRI LibPoly is a C library for manipulating polynomials

SRI-CSL/libpoly's past year of commit activity

C 64 LGPL-3.0 20 13 1 Updated May 26, 2026
trio-quicly Public
Reference implementation of QUIC-LY transport protocol (which is QUIC without encryption) using the Python Trio framework.

SRI-CSL/trio-quicly's past year of commit activity

Python 0 0 11 0 Updated May 5, 2026
yices2_java_bindings Public
Java bindings for Yices 2.

SRI-CSL/yices2_java_bindings's past year of commit activity

C++ 6 MIT 6 2 0 Updated Apr 30, 2026