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.libpoly
LibPoly is a C library for manipulating polynomialsTrinityMultimodalTrojAI
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