• Stars
    star
    41
  • Rank 668,415 (Top 14 %)
  • Language
    Ruby
  • License
    Other
  • Created over 9 years ago
  • Updated over 5 years ago

Reviews

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

Repository Details

An executable specification of the RISCV ISA in L3.

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

TrinityMultimodalTrojAI

Python
33
star
10

NTT

An Implementation of the Number Theoretic Transform
C
33
star
11

Bliss

BLISS: Bimodal Lattice Signature Schemes
C
25
star
12

musllvm

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

Trinity-TrojAI

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

jumpbox

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

bixie

Inconsistent code detection for Java.
Java
14
star
16

filia

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

AircraftVerse

Jupyter Notebook
13
star
18

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
19

yices2_ocaml_bindings

OCaml
11
star
20

high-assurance-crypto

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

Wholly

Wholly!
Python
9
star
22

yices2_python_bindings

Python bindings for yices2
Python
9
star
23

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
24

arsenal-base

Python
8
star
25

imaude

Interactive Maude
NewLisp
8
star
26

homebrew-sri-csl

SRI International's Tap
Ruby
7
star
27

radler

Radler
Python
7
star
28

secure_ros

Secure ROS
Python
6
star
29

jel

JPEG Embedding Library
C
6
star
30

ALICE

Python
6
star
31

SMT.tmbundle

Linguist/TextMate support for SMT-LIB2
6
star
32

ETB

The Evidential Tool Bus
Python
6
star
33

do-like-javac

Python
6
star
34

pascali-public

Public PASCALI repo
Python
5
star
35

parsley-lang

Parsley format definition language
OCaml
5
star
36

yices2_java_bindings

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

VCPublic

Place to share snapshots of maude models
Python
4
star
38

signal-public

Public SIGNAL repo
Jupyter Notebook
4
star
39

WhollyRecipes

Recipes for the Wholly build system
Python
4
star
40

OCCAM-Benchmarks

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

ICS

Integrated Canonizer and Solver
OCaml
3
star
42

PVSCodegen

3
star
43

iopc

The C infrastructure for the IOP system
C
3
star
44

DroneSim

SoftAgents drone simulation example
Python
3
star
45

pce

Probabilistic Consistency Engine
C
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