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/NTT
An Implementation of the Number Theoretic Transform
Language:C36 18 212
SRI-CSL/TrinityMultimodalTrojAI
Language:Python33 18 23
SRI-CSL/OCCAM
OCCAM: Object Culling and Concretization for Assurance Maximization
Language:C++26 13 5410
SRI-CSL/filia
Translate Python and JavaScript into MLIR
Language:C++14 16 11
SRI-CSL/AircraftVerse
Language:Jupyter Notebook13 17 21
SRI-CSL/yices2_go_bindings
Golang bindings for yices2
Language:Go7 4 04
SRI-CSL/do-like-javac
Language:Python6 15 422
SRI-CSL/ETB
The Evidential Tool Bus
Language:Python6 15 54
SRI-CSL/OCCAM-Benchmarks
Set of benchmarks used by the OCCAM tool.
Language:Python4 17 54
SRI-CSL/signal-public
Public SIGNAL repo
Language:Jupyter Notebook4 18 0
SRI-CSL/yices2_java_bindings
Java bindings for Yices 2.
Language:C++4 15 52
SRI-CSL/clam-prov
Provenance Tracking with Clam
Language:C++3 16 100
SRI-CSL/iopc
The C infrastructure for the IOP system
Language:C3 15 13
SRI-CSL/PVSCodegen
3 18 03
SRI-CSL/latextrack
LaTeX Track Changes shows changes over time for a .tex file that has its history stored in a git or svn repository. The user can customize how to view the changes: limited to certain authors or by revision or date among other filters. An Emacs mode provides the user interface. Plug-ins for other editors (such as TeXShop or Atom) are planned.
Language:Java2 3 02
SRI-CSL/PLambda
A Python version of JLambda
Language:Python2 16 24
SRI-CSL/TIJO
Official Implementation of ICCV'23 paper on Multimodal Backdoor Defense Technique: TIJO (Trigger Inversion using Joint Optimization)
2 19 10
SRI-CSL/algebra
Libraries for finite field, elliptic curve, and polynomial arithmetic
Language:Rust1 2 0
SRI-CSL/curves
Implementations of popular elliptic curves
Language:Rust1
SRI-CSL/SoftAgentsDiagnosis
Language:Python1 16 02
SRI-CSL/.github
The public README.md for SRI-CSL
16 0
SRI-CSL/Certibus
18 0
SRI-CSL/ETB4ARCOS
SRI-CSL/LFHT
Lock Free Hash Table
Language:C18 0
SRI-CSL/OOD-Conformal-TrustAI
Language:Python1
SRI-CSL/poly-commit
A Rust library for polynomial commitments
Language:Rust2 0
SRI-CSL/pypcap
pypcap - python libpcap module, forked from code.google.com/p/pypcap
Language:Cython1 0
SRI-CSL/randoop-gradle-plugin
(experimental) randoop gradle plugin
Language:Java19 02
SRI-CSL/smart-contract-explorer
Language:Solidity3 432
SRI-CSL/SusmitJha-UMD23-SummerSchool
Language:Jupyter Notebook18 0