SRI International's Computer Science Laboratory

Menlo Park, California

Pinned Repositories

gllvm
Whole Program LLVM: wllvm ported to go
Language:Go303 32 5834
l3riscv
An executable specification of the RISCV ISA in L3.
Language:Ruby41 10 110
libpoly
LibPoly is a C library for manipulating polynomials
Language:C46 12 2816
llvm2smt
Experimental translation of llvm to smt.
Language:LLVM56 20 614
PVS
The People's Verification System
Language:Common Lisp139 19 7032
sally
A model checker for infinite-state systems.
Language:C++69 13 6012
solidity
This is solc-verify, a modular verifier for Solidity.
Language:C++50 16 16014
stegotorus
A Camouflage Proxy for the Tor Anonymity System
Language:C++78 18 417
whole-program-llvm
A toolkit for building whole-program LLVM bitcode files
Language:Python73 17 2811
yices2
The Yices SMT Solver
Language:SMT374 26 38048

SRI International's Computer Science Laboratory's Repositories

SRI-CSL/yices2
The Yices SMT Solver
Language:SMT374 26 38048
SRI-CSL/gllvm
Whole Program LLVM: wllvm ported to go
Language:Go303 32 5834
SRI-CSL/PVS
The People's Verification System
Language:Common Lisp139 19 7032
SRI-CSL/solidity
This is solc-verify, a modular verifier for Solidity.
Language:C++50 16 16014
SRI-CSL/libpoly
LibPoly is a C library for manipulating polynomials
Language:C46 12 2816
SRI-CSL/ENCODERS
ENCODERS (Edge Networking with Content-Oriented Declarative Enhanced Routing and Storage) is SRI’s content-based networking solution that provides network services and transport architectures required for efficient, transparent distribution of content in mobile ad hoc networks.
Language:C12 14 27
SRI-CSL/yices2_ocaml_bindings
Language:OCaml11 6 13
SRI-CSL/high-assurance-crypto
This repository contains software for projects focusing on computer-aided verification of (distributed) cryptographic protocols and algorithms.
Language:eC10 15 01
SRI-CSL/arsenal-base
Language:Python8 14 04
SRI-CSL/homebrew-sri-csl
SRI International's Tap
Language:Ruby7 19 33
SRI-CSL/radler
Radler
Language:Python7 21 46
SRI-CSL/parsley-lang
Parsley format definition language
Language:OCaml5 21 9
SRI-CSL/VCPublic
Place to share snapshots of maude models
Language:Python4 19 02
SRI-CSL/prism
PRISM is the stand-alone version of our SRI TA1 system developed under the DARPA RACE program during 2019-2023. This software was cleared by DARPA on September 18, 2023; Approved for Public Release, Distribution Unlimited (Distribution "A").
Language:Python2 18 01
SRI-CSL/augmented-metitarski
An Augmented MetiTarski Dataset for Real Quantifier Elimination using Machine Learning
Language:OCaml1 18 0
SRI-CSL/coproof
Language:Jupyter Notebook1 17 00
SRI-CSL/dnre
Code accompanying paper: Direct Amortized Likelihood Ratio Estimation
Language:Jupyter Notebook1 18 0
SRI-CSL/evocrypt
EVOCrypt: EasyCrypt Verified OCaml Cryptographic Library
Language:eC1 18 00
SRI-CSL/fomoh
PyTorch-based library that implements nested forward AD and interfaces with PyTorch models.
Language:Jupyter Notebook1 20 11
SRI-CSL/libpoly_ocaml_bindings
OCaml bindings for libpoly
Language:OCaml1 19 0
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 19 11
SRI-CSL/ndk
Neurogram Deconvolution Kit
Language:Python0 17 01
SRI-CSL/wiztoolkit-ocaml-bindings
OCaml bindings for the Wiztoolkit toolset
Language:C++0 18 00
SRI-CSL/zk-gen
zk-gen: an OCaml platform for zero knowledge computations
Language:OCaml0 18 00
SRI-CSL/daikon-gradle-plugin
(experimental) daikon gradle plugin
Language:Java18 22
SRI-CSL/descert-example
a place where we can play with DesCert gradle plugins
Language:Dockerfile18 41
SRI-CSL/pvs-playground
19 0
SRI-CSL/trinity-packet
Code for model safeguards for packet-level DNN classifiers
Language:Python17 0
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 Notebook19 0