sri-csl Goto Github PK

gllvm

Whole Program LLVM: wllvm ported to go

groth16

A Rust implementation of the Groth16 zkSNARK

high-assurance-crypto

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

homebrew-sri-csl

SRI International's Tap

hybridsal

ics

Integrated Canonizer and Solver

imaude

Interactive Maude

io-specialization

Specialization of IO system calls

iopc

The C infrastructure for the IOP system

jel

JPEG Embedding Library

jumpbox

JumpBox – A Seamless Browser Proxy for Tor Pluggable Transports

kernel-specialization

Using OCCAM to specialize the Linux Kernel

klee-with-yices

KLEE Symbolic Virtual Machine

kyber

l3riscv

An executable specification of the RISCV ISA in L3.

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.

lfht

Lock Free Hash Table

libfutil

The _F_unctions and _UTIL_ities library

liboqs

C library for quantum-resistant cryptographic algorithms.

libpoly

LibPoly is a C library for manipulating polynomials

libpoly_ocaml_bindings

OCaml bindings for libpoly

lingoboost

Project for LingoBoost "TMR Lite" Android App

linguist

Language Savant. If your repository's language is being reported incorrectly, send us a pull request!

llpe

llvm2smt

Experimental translation of llvm to smt.

llvmcpy

Python bindings for LLVM auto-generated from the LLVM-C API

marlin

A Rust library for the Marlin preprocessing zkSNARK

maude

Language based on Rewriting Logic

mcsema

Framework for lifting x86, amd64, and aarch64 program binaries to LLVM bitcode

mpc-algebra