SRI International's Computer Science Laboratory

Menlo Park, California

Pinned Repositories

gllvm
Whole Program LLVM: wllvm ported to go
Language:Go326 31 5936
libpoly
SRI LibPoly is a C library for manipulating polynomials
Language:C51 11 3218
llvm2smt
Experimental translation of llvm to smt.
Language:LLVM58 19 614
NTT
An Implementation of the Number Theoretic Transform
Language:C49 16 214
PVS
The People's Verification System
Language:Common Lisp162 17 7134
sally
SRI Sally: A model checker for infinite-state systems.
Language:C++75 13 6014
solidity
This is solc-verify, a modular verifier for Solidity.
Language:C++54 14 16116
stegotorus
A Camouflage Proxy for the Tor Anonymity System
Language:C++82 17 417
whole-program-llvm
A toolkit for building whole-program LLVM bitcode files
Language:Python77 16 2811
yices2
SRI Yices SMT Solver
Language:SMT432 25 38557

SRI International's Computer Science Laboratory's Repositories

SRI-CSL/yices2
SRI Yices SMT Solver
Language:SMT432 25 38557
SRI-CSL/gllvm
Whole Program LLVM: wllvm ported to go
Language:Go326 31 5936
SRI-CSL/PVS
The People's Verification System
Language:Common Lisp162 17 7134
SRI-CSL/sally
SRI Sally: A model checker for infinite-state systems.
Language:C++75 13 6014
SRI-CSL/libpoly
SRI LibPoly is a C library for manipulating polynomials
Language:C51 11 3218
SRI-CSL/high-assurance-crypto
This repository contains software for projects focusing on computer-aided verification of (distributed) cryptographic protocols and algorithms.
Language:eC12 14 02
SRI-CSL/yices2_python_bindings
Python bindings for yices2
Language:Python12 13 45
SRI-CSL/yices2_ocaml_bindings
Language:OCaml11 5 13
SRI-CSL/radler
Radler
Language:Python10 21 56
SRI-CSL/arsenal-base
Language:Python8 12 04
SRI-CSL/homebrew-sri-csl
SRI International's Tap
Language:Ruby7 18 33
SRI-CSL/evocrypt
EVOCrypt: EasyCrypt Verified OCaml Cryptographic Library
Language:eC5 17 00
SRI-CSL/parsley-lang
Parsley format definition language
Language:OCaml5 21 90
SRI-CSL/PVSPackrat
PVS proofs for PEG grammars and Packrat parsers.
4 16 43
SRI-CSL/VCPublic
Place to share snapshots of maude models
Language:Python4 18 02
SRI-CSL/fomoh
PyTorch-based library that implements nested forward AD and interfaces with PyTorch models.
Language:Jupyter Notebook3 19 22
SRI-CSL/ctypes-zarith
Demo how to mix ctypes and "custom" OCaml types
Language:OCaml1 1 02
SRI-CSL/libpoly_ocaml_bindings
OCaml bindings for libpoly
Language:OCaml1 18 03
SRI-CSL/parsley-rust
Rust infrastructure for Parsley parsing
Language:Rust1 10 10
SRI-CSL/Trinity
Trinity AI for Improving Trustworthiness, Resilience and Interpretability of AI
Language:Python1 18 11
SRI-CSL/ndk
Neurogram Deconvolution Kit
Language:Python0 15 01
SRI-CSL/pvs-playground
0 19 00
SRI-CSL/wiztoolkit-ocaml-bindings
OCaml bindings for the Wiztoolkit toolset
Language:C++0 17 00
SRI-CSL/zk-gen
zk-gen: an OCaml platform for zero knowledge computations
Language:OCaml0 17 00
SRI-CSL/BayesAdapt
[UAI 2025] - ScalaBL - Bayesian adaptation of LLMs
Language:Python
SRI-CSL/fojax
Code corresponding to paper: "Backpropagation-Free Metropolis-Adjusted Langevin Algorithm"
Language:Python
SRI-CSL/go2_ros2_sdk
Unofficial ROS2 SDK support for Unitree GO2 AIR/PRO/EDU
Language:Python0 0
SRI-CSL/trinity-packet
Code for model safeguards for packet-level DNN classifiers
Language:Python17 01
SRI-CSL/Trinity_OOC
Out of Context detection, official dataset repo for the IJCAI paper: Detecting Out-Of-Context Objects Using Graph Contextual Reasoning Network
Language:Jupyter Notebook18 0
SRI-CSL/trio-quicly
Reference implementation of QUIC-LY transport protocol (which is QUIC without encryption) using the Python Trio framework.
Language:Python