SRI International's Computer Science Laboratory

icon indicating a website link https://sri-csl.github.io

icon location Menlo Park, California

Results 14 repositories owned by SRI International's Computer Science Laboratory

yices2

355
Stars
45
Forks
Watchers

The Yices SMT Solver

verified publisher icon SRI-CSL

gllvm

286
Stars
34
Forks
Watchers

Whole Program LLVM: wllvm ported to go

verified publisher icon SRI-CSL

sally

69
Stars
12
Forks
Watchers

A model checker for infinite-state systems.

verified publisher icon SRI-CSL

Bliss

25
Stars
12
Forks
Watchers

BLISS: Bimodal Lattice Signature Schemes

verified publisher icon SRI-CSL

l3riscv

39
Stars
10
Forks
Watchers

An executable specification of the RISCV ISA in L3.

verified publisher icon SRI-CSL

libpoly

43
Stars
16
Forks
Watchers

LibPoly is a C library for manipulating polynomials

verified publisher icon SRI-CSL

llvm2smt

55
Stars
14
Forks
Watchers

Experimental translation of llvm to smt.

verified publisher icon SRI-CSL

Maude

63
Stars
10
Forks
Watchers

Language based on Rewriting Logic

verified publisher icon SRI-CSL

musllvm

24
Stars
7
Forks
Watchers

The start of a port of musl libc to an "x86_64 llvm bitcode" architecture.

verified publisher icon SRI-CSL

NTT

33
Stars
10
Forks
Watchers

An Implementation of the Number Theoretic Transform

verified publisher icon SRI-CSL