• Stars
    star
    3
  • Rank 3,963,521 (Top 79 %)
  • Language
    C
  • License
    GNU Lesser Genera...
  • Created over 9 years ago
  • Updated over 8 years ago

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Probabilistic Consistency Engine

More Repositories

1

yices2

The Yices SMT Solver
SMT
370
star
2

gllvm

Whole Program LLVM: wllvm ported to go
Go
300
star
3

PVS

The People's Verification System
Common Lisp
135
star
4

stegotorus

A Camouflage Proxy for the Tor Anonymity System
C++
77
star
5

sally

A model checker for infinite-state systems.
C++
68
star
6

Maude

Language based on Rewriting Logic
C++
65
star
7

llvm2smt

Experimental translation of llvm to smt.
LLVM
57
star
8

libpoly

LibPoly is a C library for manipulating polynomials
C
46
star
9

l3riscv

An executable specification of the RISCV ISA in L3.
Ruby
41
star
10

TrinityMultimodalTrojAI

Python
33
star
11

NTT

An Implementation of the Number Theoretic Transform
C
33
star
12

Bliss

BLISS: Bimodal Lattice Signature Schemes
C
25
star
13

musllvm

The start of a port of musl libc to an "x86_64 llvm bitcode" architecture.
C
24
star
14

Trinity-TrojAI

This repository contains code developed by the SRI team for the IARPA/TrojAI program.
Python
19
star
15

jumpbox

JumpBox – A Seamless Browser Proxy for Tor Pluggable Transports
C
15
star
16

bixie

Inconsistent code detection for Java.
Java
14
star
17

filia

Translate Python and JavaScript into MLIR
C++
14
star
18

AircraftVerse

Jupyter Notebook
13
star
19

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.
C
12
star
20

yices2_ocaml_bindings

OCaml
11
star
21

high-assurance-crypto

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

Wholly

Wholly!
Python
9
star
23

yices2_python_bindings

Python bindings for yices2
Python
9
star
24

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.
Common Lisp
8
star
25

arsenal-base

Python
8
star
26

imaude

Interactive Maude
NewLisp
8
star
27

homebrew-sri-csl

SRI International's Tap
Ruby
7
star
28

radler

Radler
Python
7
star
29

secure_ros

Secure ROS
Python
6
star
30

jel

JPEG Embedding Library
C
6
star
31

ALICE

Python
6
star
32

SMT.tmbundle

Linguist/TextMate support for SMT-LIB2
6
star
33

ETB

The Evidential Tool Bus
Python
6
star
34

do-like-javac

Python
6
star
35

pascali-public

Public PASCALI repo
Python
5
star
36

parsley-lang

Parsley format definition language
OCaml
5
star
37

yices2_java_bindings

Java bindings for Yices 2.
C++
4
star
38

VCPublic

Place to share snapshots of maude models
Python
4
star
39

signal-public

Public SIGNAL repo
Jupyter Notebook
4
star
40

WhollyRecipes

Recipes for the Wholly build system
Python
4
star
41

OCCAM-Benchmarks

Set of benchmarks used by the OCCAM tool.
Python
4
star
42

ICS

Integrated Canonizer and Solver
OCaml
3
star
43

PVSCodegen

3
star
44

iopc

The C infrastructure for the IOP system
C
3
star
45

DroneSim

SoftAgents drone simulation example
Python
3
star
46

clam-prov

Provenance Tracking with Clam
C++
3
star
47

io-specialization

Specialization of IO system calls
C++
2
star
48

PVSPackrat

PVS proofs for PEG grammars and Packrat parsers.
2
star
49

PLambda

A Python version of JLambda
Python
2
star
50

sri-glibc-malloc

SRI's modification of glibc malloc that eliminates metadata in client memory.
C
2
star
51

datum

A parser for biological experiment shorthand.
Clojure
2
star
52

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").
Python
2
star
53

SudokuSolver

A sudoku solver to illustrate the new yices python API
Python
2
star
54

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.
Java
2
star
55

libfutil

The _F_unctions and _UTIL_ities library
C
2
star
56

parsley-rust

Rust infrastructure for Parsley parsing
Rust
1
star
57

HybridSal

Java
1
star
58

nodelet_core

nodelet_core is a forked version of nodelet_core for Secure ROS.
1
star
59

WrapPat

1
star
60

libpoly_ocaml_bindings

OCaml bindings for libpoly
OCaml
1
star
61

lingoboost

Project for LingoBoost "TMR Lite" Android App
Kotlin
1
star
62

fomoh

PyTorch-based library that implements nested forward AD and interfaces with PyTorch models.
Jupyter Notebook
1
star
63

evocrypt

EVOCrypt: EasyCrypt Verified OCaml Cryptographic Library
eC
1
star
64

safedocs-recognizer

DARPA SafeDocs TA1 software suite to bundle and orchestrate various format-aware tracing tools.
Python
1
star
65

tree

C
1
star
66

augmented-metitarski

An Augmented MetiTarski Dataset for Real Quantifier Elimination using Machine Learning
1
star
67

rendezvous

Abandonware or Demoware code base for rendezvous.
C
1
star
68

ACS

Address Change Signaling
Go
1
star
69

_ros_comm

ros_comm is a forked version of ros_comm for Secure ROS.
C++
1
star
70

SoftAgentsDiagnosis

Python
1
star
71

secure_ros_tools

Python
1
star
72

phosphosite

A web trawler for biological data
Python
1
star
73

clam-prov-benchmarks

Benchmarks for clam-prov
Shell
1
star
74

BlissResources

A collection of public resources related to BLISS (Bimodal Lattice Signature Schemes)
C
1
star
75

safedocs-yarn-public

Python
1
star
76

Trinity

Trinity AI for Improving Trustworthiness, Resilience and Interpretability of AI
Python
1
star
77

dnre

Code accompanying paper: Direct Amortized Likelihood Ratio Estimation
Jupyter Notebook
1
star
78

TIJO

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

OpensDec

The Open Source Decompiler Project
1
star
80

coproof

Jupyter Notebook
1
star