All

149 repositories

PVS
Public
The People's Verification System
Common Lisp
•
GNU General Public License v2.0
•34•172•28•3•Updated Mar 27, 2026Mar 27, 2026
yices2
Public
SRI Yices SMT Solver
satisfiability-modulo-theories sat-solver smt-solver
satisfiability-modulo-theories sat-solver smt-solver theorem-prover satisfiability
SMT
•
GNU General Public License v3.0
•61•450•41•8•Updated Mar 12, 2026Mar 12, 2026
pvs-playground
Public
0•0•0•0•Updated Mar 2, 2026Mar 2, 2026
mixed-masked-diffusion
Public
Code for MixeDiT-MaskeDiT SBI
Python
•
Other
•0•0•0•0•Updated Feb 27, 2026Feb 27, 2026
BayesAdapt
Public
Bayesian Adaptation Gym (BAG): a library for the Bayesian adaptation of LLMs and VLMs.
Python
•0•3•1•0•Updated Feb 25, 2026Feb 25, 2026
libpoly_ocaml_bindings
Public
OCaml bindings for libpoly
OCaml
•
GNU General Public License v3.0
•3•1•0•0•Updated Feb 15, 2026Feb 15, 2026
yices2_ocaml_bindings
Public
OCaml
•
GNU General Public License v3.0
•3•11•0•0•Updated Feb 15, 2026Feb 15, 2026
llm-chemistry
Public
LLM Chemistry Estimation for Multi-LLM Recommendation
Python
•
Apache License 2.0
•1•2•0•0•Updated Dec 26, 2025Dec 26, 2025
FHIR-Fly
Public
A tool for verified data format transformations.
Python
•
GNU General Public License v3.0
•0•0•0•0•Updated Dec 4, 2025Dec 4, 2025
homebrew-sri-csl
Public
SRI International's Tap
homebrew package-management
homebrew package-management
Ruby
•3•7•0•0•Updated Dec 2, 2025Dec 2, 2025
libpoly
Public
SRI LibPoly is a C library for manipulating polynomials
C
•
GNU Lesser General Public License v3.0
•18•55•12•1•Updated Dec 2, 2025Dec 2, 2025
chalo-tls-interposer
Public
TLS Interposer (Dongle) Tool developed as part of the CAC-H topic under SRI's CHALO project.
tls tls-proxy interposer
tls tls-proxy interposer tls-security
Shell
•
MIT License
•0•0•0•0•Updated Oct 20, 2025Oct 20, 2025
chalo-network-analyzer
Public
Network Analysis Tool developed as part of the CAC-H topic under SRI's CHALO project
tls network-analysis vulnerability-detection
tls network-analysis vulnerability-detection vulnerability-assessment network-security pyshark vulnerability-analysis vulnerability-research network-data pcap-analysis
Python
•
MIT License
•0•0•0•0•Updated Oct 20, 2025Oct 20, 2025
trio-quicly
Public
Reference implementation of QUIC-LY transport protocol (which is QUIC without encryption) using the Python Trio framework.
Python
•
Other
•0•0•11•0•Updated Oct 11, 2025Oct 11, 2025
ndk
Public
Neurogram Deconvolution Kit
Python
•
Apache License 2.0
•1•0•0•0•Updated Sep 20, 2025Sep 20, 2025
ctypes-zarith
Public
Demo how to mix ctypes and "custom" OCaml types
OCaml
•
Other
•5•1•0•0•Updated Sep 19, 2025Sep 19, 2025
sally
Public
SRI Sally: A model checker for infinite-state systems.
verification ic3 model-checker
verification ic3 model-checker transition-systems k-induction bounded-model-checking
C++
•
GNU General Public License v2.0
•14•77•18•1•Updated Jul 31, 2025Jul 31, 2025
fojax
Public
Code corresponding to paper: "Backpropagation-Free Metropolis-Adjusted Langevin Algorithm"
Python
•
MIT License
•0•0•0•0•Updated May 23, 2025May 23, 2025
collm
Public
A reflective, iterative approach for performing reliable multi-LLM work
Python
•
Other
•0•2•0•0•Updated May 6, 2025May 6, 2025
radler
Public
Radler
Python
•
GNU General Public License v3.0
•7•10•0•0•Updated Apr 30, 2025Apr 30, 2025
evocrypt
Public
EVOCrypt: EasyCrypt Verified OCaml Cryptographic Library
eC
•
MIT License
•1•7•0•0•Updated Apr 3, 2025Apr 3, 2025
go2_ros2_sdk
Public
Unofficial ROS2 SDK support for Unitree GO2 AIR/PRO/EDU
Python
•
BSD 2-Clause "Simplified" License
•182•0•0•0•Updated Mar 27, 2025Mar 27, 2025
trinity-packet
Public
Code for model safeguards for packet-level DNN classifiers
Python
•
MIT License
•1•1•0•0•Updated Mar 20, 2025Mar 20, 2025
zk-gen
Public
zk-gen: an OCaml platform for zero knowledge computations
OCaml
•
MIT License
•0•0•0•0•Updated Feb 12, 2025Feb 12, 2025
high-assurance-crypto
Public
This repository contains software for projects focusing on computer-aided verification of (distributed) cryptographic protocols and algorithms.
eC
•2•12•0•1•Updated Jan 10, 2025Jan 10, 2025
VCPublic
Public
Place to share snapshots of maude models
Python
•2•4•0•0•Updated Dec 25, 2024Dec 25, 2024
PVSPackrat
Public
PVS proofs for PEG grammars and Packrat parsers.
3•4•2•0•Updated Dec 18, 2024Dec 18, 2024
yices2_python_bindings
Public
Python bindings for yices2
python-bindings smt-solver yices
python-bindings smt-solver yices
Python
•
MIT License
•5•12•2•0•Updated Dec 18, 2024Dec 18, 2024
fomoh
Public
PyTorch-based library that implements nested forward AD and interfaces with PyTorch models.
Jupyter Notebook
•
BSD 2-Clause "Simplified" License
•2•3•1•0•Updated Aug 26, 2024Aug 26, 2024
wiztoolkit-ocaml-bindings
Public
OCaml bindings for the Wiztoolkit toolset
C++
•
MIT License
•0•0•0•0•Updated Aug 2, 2024Aug 2, 2024

ProTip! Don't forget that you can create saved views to keep track of your most important repositories!

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

SRI International's Computer Science Laboratory

All

All

149 repositories

PVS

yices2

pvs-playground

mixed-masked-diffusion

BayesAdapt

libpoly_ocaml_bindings

yices2_ocaml_bindings

llm-chemistry

FHIR-Fly

homebrew-sri-csl

libpoly

chalo-tls-interposer

chalo-network-analyzer

trio-quicly

ndk

ctypes-zarith

sally

fojax

collm

radler

evocrypt

go2_ros2_sdk

trinity-packet

zk-gen

high-assurance-crypto

VCPublic

PVSPackrat

yices2_python_bindings

fomoh

wiztoolkit-ocaml-bindings

All

All

Repositories list

149 repositories