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

SRI International's Computer Science Laboratory

SRI-CSL

Organization data from Github https://github.com/SRI-CSL

Location:Menlo Park, California

Home Page:https://sri-csl.github.io

GitHub:@SRI-CSL

SRI International's Computer Science Laboratory's repositories

yices2

SRI Yices SMT Solver

Language:SMTLicense:GPL-3.0Stargazers:432Issues:25Issues:385

gllvm

Whole Program LLVM: wllvm ported to go

Language:GoLicense:BSD-3-ClauseStargazers:326Issues:31Issues:59

PVS

The People's Verification System

Language:Common LispLicense:GPL-2.0Stargazers:159Issues:17Issues:71

sally

SRI Sally: A model checker for infinite-state systems.

Language:C++License:GPL-2.0Stargazers:75Issues:13Issues:60

libpoly

SRI LibPoly is a C library for manipulating polynomials

Language:CLicense:LGPL-3.0Stargazers:51Issues:11Issues:32

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:CStargazers:13Issues:13Issues:2

high-assurance-crypto

This repository contains software for projects focusing on computer-aided verification of (distributed) cryptographic protocols and algorithms.

Language:eCStargazers:12Issues:14Issues:0

yices2_ocaml_bindings

Language:OCamlLicense:GPL-3.0Stargazers:11Issues:5Issues:1

yices2_python_bindings

Python bindings for yices2

Language:PythonLicense:MITStargazers:11Issues:13Issues:4

radler

Radler

Language:PythonLicense:GPL-3.0Stargazers:10Issues:21Issues:5

arsenal-base

Language:PythonLicense:NOASSERTIONStargazers:8Issues:12Issues:0

homebrew-sri-csl

SRI International's Tap

Language:RubyStargazers:7Issues:18Issues:3

parsley-lang

Parsley format definition language

Language:OCamlStargazers:5Issues:21Issues:9

evocrypt

EVOCrypt: EasyCrypt Verified OCaml Cryptographic Library

Language:eCLicense:MITStargazers:4Issues:17Issues:0

PVSPackrat

PVS proofs for PEG grammars and Packrat parsers.

Stargazers:4Issues:16Issues:4

VCPublic

Place to share snapshots of maude models

Language:PythonStargazers:4Issues:18Issues:0

fomoh

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

Language:Jupyter NotebookLicense:BSD-2-ClauseStargazers:3Issues:19Issues:1

coproof

Language:Jupyter NotebookLicense:GPL-2.0Stargazers:1Issues:17Issues:0

dnre

Code accompanying paper: Direct Amortized Likelihood Ratio Estimation

Language:Jupyter NotebookLicense:MITStargazers:1Issues:18Issues:0

libpoly_ocaml_bindings

OCaml bindings for libpoly

Language:OCamlLicense:GPL-3.0Stargazers:1Issues:18Issues:0

parsley-rust

Rust infrastructure for Parsley parsing

Language:RustLicense:GPL-3.0Stargazers:1Issues:10Issues:1

Trinity

Trinity AI for Improving Trustworthiness, Resilience and Interpretability of AI

Language:PythonLicense:MITStargazers:1Issues:18Issues:1

ndk

Neurogram Deconvolution Kit

Language:PythonLicense:Apache-2.0Stargazers:0Issues:15Issues:0

pvs-playground

Stargazers:0Issues:19Issues:0

wiztoolkit-ocaml-bindings

OCaml bindings for the Wiztoolkit toolset

Language:C++License:MITStargazers:0Issues:17Issues:0

zk-gen

zk-gen: an OCaml platform for zero knowledge computations

Language:OCamlLicense:MITStargazers:0Issues:17Issues:0

daikon-gradle-plugin

(experimental) daikon gradle plugin

Language:JavaLicense:Apache-2.0Stargazers:0Issues:17Issues:2

descert-example

a place where we can play with DesCert gradle plugins

Language:DockerfileLicense:Apache-2.0Stargazers:0Issues:17Issues:4

trinity-packet

Code for model safeguards for packet-level DNN classifiers

Language:PythonLicense:MITStargazers:0Issues:17Issues:0

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 NotebookLicense:Apache-2.0Stargazers:0Issues:19Issues:0