Explore @SRI-CSL Open Source projects

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

SRI-CSL

Stars
1,750
Global Org. Rank 10,482 (Top 4 %)
Registered over 10 years ago
Most used languages

Python
32.9 %

C
19.2 %

C++
11.0 %

Jupyter Notebook
6.8 %

OCaml
5.5 %

Java
4.1 %

Common Lisp
2.7 %

Ruby
2.7 %

eC 2.7 %

Go
2.7 %

NewLisp 1.4 %

LLVM 1.4 %

Shell
1.4 %

Rust
1.4 %

SMT 1.4 %

Clojure
1.4 %

Kotlin
1.4 %
Location 🇺🇸 United States
Country Total Rank 6,198
Country Ranking

SMT 2

eC 3

NewLisp 6

LLVM 16

Common Lisp
59

OCaml
197

Go
1,216

C++
1,381

C
1,427

Clojure
2,022

Ruby
3,332

Kotlin
3,860

Jupyter Notebook
5,296

Python
6,942

Java
7,735

Rust
9,596

yices2

The Yices SMT Solver

gllvm

Whole Program LLVM: wllvm ported to go

PVS

The People's Verification System

stegotorus

A Camouflage Proxy for the Tor Anonymity System

sally

A model checker for infinite-state systems.

Maude

Language based on Rewriting Logic

llvm2smt

Experimental translation of llvm to smt.

libpoly

LibPoly is a C library for manipulating polynomials

l3riscv

An executable specification of the RISCV ISA in L3.

TrinityMultimodalTrojAI

NTT

An Implementation of the Number Theoretic Transform

Bliss

BLISS: Bimodal Lattice Signature Schemes

musllvm

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 Transports

bixie

Inconsistent code detection for Java.

filia

Translate Python and JavaScript into MLIR

AircraftVerse

Jupyter Notebook

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

yices2_python_bindings

Python bindings for yices2

f3d

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 Maude

homebrew-sri-csl

SRI International's Tap

radler

secure_ros

jel

JPEG Embedding Library

ALICE

SMT.tmbundle

Linguist/TextMate support for SMT-LIB2

ETB

The Evidential Tool Bus

do-like-javac

pascali-public

Public PASCALI repo

parsley-lang

Parsley format definition language

yices2_java_bindings

Java bindings for Yices 2.

VCPublic

Place to share snapshots of maude models

signal-public

Public SIGNAL repo

Jupyter Notebook

WhollyRecipes

Recipes for the Wholly build system

OCCAM-Benchmarks

Set of benchmarks used by the OCCAM tool.

ICS

Integrated Canonizer and Solver

PVSCodegen

iopc

The C infrastructure for the IOP system

DroneSim

SoftAgents drone simulation example

pce

Probabilistic Consistency Engine

clam-prov

Provenance Tracking with Clam

io-specialization

Specialization of IO system calls

PVSPackrat

PVS proofs for PEG grammars and Packrat parsers.

PLambda

A Python version of JLambda

sri-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 API

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.

libfutil

The _F_unctions and _UTIL_ities library

parsley-rust

Rust infrastructure for Parsley parsing

HybridSal

nodelet_core

nodelet_core is a forked version of nodelet_core for Secure ROS.

WrapPat

libpoly_ocaml_bindings

OCaml bindings for libpoly

lingoboost

Project for LingoBoost "TMR Lite" Android App

fomoh

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

Jupyter Notebook

evocrypt

EVOCrypt: EasyCrypt Verified OCaml Cryptographic Library

safedocs-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 Learning

rendezvous

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 data

clam-prov-benchmarks

Benchmarks for clam-prov

BlissResources

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 AI

dnre

Code accompanying paper: Direct Amortized Likelihood Ratio Estimation

Jupyter Notebook

TIJO

Official Implementation of ICCV'23 paper on Multimodal Backdoor Defense Technique: TIJO (Trigger Inversion using Joint Optimization)

OpensDec

The Open Source Decompiler Project

coproof

Jupyter Notebook