Giters
SRI International's Computer Science Laboratory (SRI-CSL)

SRI International's Computer Science Laboratory

SRI-CSL

Organization data from Github https://github.com/SRI-CSL

Location:Menlo Park, California

Home Page:https://sri-csl.github.io

GitHub:@SRI-CSL

SRI International's Computer Science Laboratory's repositories

yices2

SRI Yices SMT Solver

Language:SMTLicense:GPL-3.0Stargazers:432Issues:25Issues:385

gllvm

Whole Program LLVM: wllvm ported to go

Language:GoLicense:BSD-3-ClauseStargazers:328Issues:31Issues:59

PVS

The People's Verification System

Language:Common LispLicense:GPL-2.0Stargazers:159Issues:17Issues:71

sally

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

Language:C++License:GPL-2.0Stargazers:75Issues:13Issues:60

libpoly

SRI LibPoly is a C library for manipulating polynomials

Language:CLicense:LGPL-3.0Stargazers:51Issues:11Issues:32

high-assurance-crypto

This repository contains software for projects focusing on computer-aided verification of (distributed) cryptographic protocols and algorithms.

Language:eCStargazers:12Issues:14Issues:0

yices2_ocaml_bindings

Language:OCamlLicense:GPL-3.0Stargazers:11Issues:5Issues:1

yices2_python_bindings

Python bindings for yices2

Language:PythonLicense:MITStargazers:11Issues:13Issues:4

radler

Radler

Language:PythonLicense:GPL-3.0Stargazers:10Issues:21Issues:5

arsenal-base

Language:PythonLicense:NOASSERTIONStargazers:8Issues:12Issues:0

homebrew-sri-csl

SRI International's Tap

Language:RubyStargazers:7Issues:18Issues:3

parsley-lang

Parsley format definition language

Language:OCamlStargazers:5Issues:21Issues:9

evocrypt

EVOCrypt: EasyCrypt Verified OCaml Cryptographic Library

Language:eCLicense:MITStargazers:4Issues:17Issues:0

PVSPackrat

PVS proofs for PEG grammars and Packrat parsers.

Stargazers:4Issues:16Issues:4

VCPublic

Place to share snapshots of maude models

Language:PythonStargazers:4Issues:18Issues:0

fomoh

PyTorch-based library that implements nested forward AD and interfaces with PyTorch models.

Language:Jupyter NotebookLicense:BSD-2-ClauseStargazers:3Issues:19Issues:1

ctypes-zarith

Demo how to mix ctypes and "custom" OCaml types

Language:OCamlLicense:NOASSERTIONStargazers:1Issues:1Issues:0

libpoly_ocaml_bindings

OCaml bindings for libpoly

Language:OCamlLicense:GPL-3.0Stargazers:1Issues:18Issues:0

parsley-rust

Rust infrastructure for Parsley parsing

Language:RustLicense:GPL-3.0Stargazers:1Issues:10Issues:1

Trinity

Trinity AI for Improving Trustworthiness, Resilience and Interpretability of AI

Language:PythonLicense:MITStargazers:1Issues:18Issues:1

ndk

Neurogram Deconvolution Kit

Language:PythonLicense:Apache-2.0Stargazers:0Issues:15Issues:0

pvs-playground

Stargazers:0Issues:19Issues:0

wiztoolkit-ocaml-bindings

OCaml bindings for the Wiztoolkit toolset

Language:C++License:MITStargazers:0Issues:17Issues:0

zk-gen

zk-gen: an OCaml platform for zero knowledge computations

Language:OCamlLicense:MITStargazers:0Issues:17Issues:0

BayesAdapt

[UAI 2025] - ScalaBL - Bayesian adaptation of LLMs

Language:PythonStargazers:0Issues:0Issues:0

fojax

Code corresponding to paper: "Backpropagation-Free Metropolis-Adjusted Langevin Algorithm"

Language:PythonLicense:MITStargazers:0Issues:0Issues:0

go2_ros2_sdk

Unofficial ROS2 SDK support for Unitree GO2 AIR/PRO/EDU

Language:PythonLicense:BSD-2-ClauseStargazers:0Issues:0Issues:0

trinity-packet

Code for model safeguards for packet-level DNN classifiers

Language:PythonLicense:MITStargazers:0Issues:17Issues:0

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 NotebookLicense:Apache-2.0Stargazers:0Issues:19Issues:0

trio-quicly

Reference implementation of QUIC-LY transport protocol (which is QUIC without encryption) using the Python Trio framework.

Language:PythonLicense:NOASSERTIONStargazers:0Issues:0Issues:0