There are no reviews yet. Be the first to send feedback to the community and the maintainers!
yices2
The Yices SMT Solvergllvm
Whole Program LLVM: wllvm ported to goPVS
The People's Verification Systemstegotorus
A Camouflage Proxy for the Tor Anonymity Systemsally
A model checker for infinite-state systems.Maude
Language based on Rewriting Logicllvm2smt
Experimental translation of llvm to smt.l3riscv
An executable specification of the RISCV ISA in L3.TrinityMultimodalTrojAI
NTT
An Implementation of the Number Theoretic TransformBliss
BLISS: Bimodal Lattice Signature Schemesmusllvm
The start of a port of musl libc to an "x86_64 llvm bitcode" architecture.Trinity-TrojAI
This repository contains code developed by the SRI team for the IARPA/TrojAI program.jumpbox
JumpBox – A Seamless Browser Proxy for Tor Pluggable Transportsbixie
Inconsistent code detection for Java.filia
Translate Python and JavaScript into MLIRAircraftVerse
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.yices2_ocaml_bindings
high-assurance-crypto
This repository contains software for projects focusing on computer-aided verification of (distributed) cryptographic protocols and algorithms.Wholly
Wholly!yices2_python_bindings
Python bindings for yices2f3d
f3d, a.k.a. FREEDIUS, a.k.a. the Cartographic Modeling Environment, a.k.a. the Image Understanding Environment. Lisp-based geospatial image analysis.arsenal-base
imaude
Interactive Maudehomebrew-sri-csl
SRI International's Tapradler
Radlersecure_ros
Secure ROSjel
JPEG Embedding LibraryALICE
SMT.tmbundle
Linguist/TextMate support for SMT-LIB2ETB
The Evidential Tool Busdo-like-javac
pascali-public
Public PASCALI repoparsley-lang
Parsley format definition languageyices2_java_bindings
Java bindings for Yices 2.VCPublic
Place to share snapshots of maude modelssignal-public
Public SIGNAL repoWhollyRecipes
Recipes for the Wholly build systemOCCAM-Benchmarks
Set of benchmarks used by the OCCAM tool.ICS
Integrated Canonizer and SolverPVSCodegen
iopc
The C infrastructure for the IOP systemDroneSim
SoftAgents drone simulation examplepce
Probabilistic Consistency Engineclam-prov
Provenance Tracking with Clamio-specialization
Specialization of IO system callsPVSPackrat
PVS proofs for PEG grammars and Packrat parsers.PLambda
A Python version of JLambdasri-glibc-malloc
SRI's modification of glibc malloc that eliminates metadata in client memory.datum
A parser for biological experiment shorthand.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").SudokuSolver
A sudoku solver to illustrate the new yices python APIlatextrack
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.libfutil
The _F_unctions and _UTIL_ities libraryparsley-rust
Rust infrastructure for Parsley parsingHybridSal
nodelet_core
nodelet_core is a forked version of nodelet_core for Secure ROS.WrapPat
libpoly_ocaml_bindings
OCaml bindings for libpolylingoboost
Project for LingoBoost "TMR Lite" Android Appfomoh
PyTorch-based library that implements nested forward AD and interfaces with PyTorch models.evocrypt
EVOCrypt: EasyCrypt Verified OCaml Cryptographic Librarysafedocs-recognizer
DARPA SafeDocs TA1 software suite to bundle and orchestrate various format-aware tracing tools.tree
augmented-metitarski
An Augmented MetiTarski Dataset for Real Quantifier Elimination using Machine Learningrendezvous
Abandonware or Demoware code base for rendezvous.ACS
Address Change Signaling_ros_comm
ros_comm is a forked version of ros_comm for Secure ROS.SoftAgentsDiagnosis
secure_ros_tools
phosphosite
A web trawler for biological dataclam-prov-benchmarks
Benchmarks for clam-provBlissResources
A collection of public resources related to BLISS (Bimodal Lattice Signature Schemes)safedocs-yarn-public
Trinity
Trinity AI for Improving Trustworthiness, Resilience and Interpretability of AIdnre
Code accompanying paper: Direct Amortized Likelihood Ratio EstimationTIJO
Official Implementation of ICCV'23 paper on Multimodal Backdoor Defense Technique: TIJO (Trigger Inversion using Joint Optimization)OpensDec
The Open Source Decompiler Projectcoproof
Love Open Source and this site? Check out how you can help us