Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by SRI-CSL
A curated list of projects in awesome lists by SRI-CSL .
https://github.com/SRI-CSL/yices2
The Yices SMT Solver
sat-solver satisfiability satisfiability-modulo-theories smt-solver theorem-prover
Last synced: 09 Nov 2024
https://github.com/sri-csl/yices2
The Yices SMT Solver
sat-solver satisfiability satisfiability-modulo-theories smt-solver theorem-prover
Last synced: 06 Nov 2024
https://github.com/sri-csl/gllvm
Whole Program LLVM: wllvm ported to go
bitcode bitcode-files bitcode-generation clang compilers klee llvm
Last synced: 20 Dec 2024
https://github.com/SRI-CSL/gllvm
Whole Program LLVM: wllvm ported to go
bitcode bitcode-files bitcode-generation clang compilers klee llvm
Last synced: 11 Nov 2024
https://sri-csl.github.io/stegotorus/
A Camouflage Proxy for the Tor Anonymity System
Last synced: 08 Nov 2024
https://github.com/sri-csl/stegotorus
A Camouflage Proxy for the Tor Anonymity System
Last synced: 06 Nov 2024
https://github.com/SRI-CSL/stegotorus
A Camouflage Proxy for the Tor Anonymity System
Last synced: 02 Nov 2024
https://github.com/sri-csl/sally
A model checker for infinite-state systems.
bounded-model-checking ic3 k-induction model-checker transition-systems verification
Last synced: 06 Nov 2024
https://github.com/sri-csl/llvm2smt
Experimental translation of llvm to smt.
Last synced: 06 Nov 2024
https://github.com/SRI-CSL/solidity
This is solc-verify, a modular verifier for Solidity.
ethereum formal-specification formal-verification solidity
Last synced: 26 Oct 2024
https://github.com/sri-csl/libpoly
LibPoly is a C library for manipulating polynomials
Last synced: 19 Dec 2024
https://github.com/sri-csl/l3riscv
An executable specification of the RISCV ISA in L3.
Last synced: 06 Nov 2024
https://github.com/sri-csl/ntt
An Implementation of the Number Theoretic Transform
Last synced: 06 Nov 2024
https://github.com/sri-csl/bliss
BLISS: Bimodal Lattice Signature Schemes
bliss cryptography digital-signature lattice-based-crypto postquantum
Last synced: 06 Nov 2024
https://github.com/sri-csl/musllvm
The start of a port of musl libc to an "x86_64 llvm bitcode" architecture.
Last synced: 06 Nov 2024
https://github.com/sri-csl/trinity-trojai
This repository contains code developed by the SRI team for the IARPA/TrojAI program.
Last synced: 06 Nov 2024
https://github.com/sri-csl/bixie
Inconsistent code detection for Java.
inconsistency java program-analysis static-analysis static-analyzer
Last synced: 06 Nov 2024
https://github.com/sri-csl/jumpbox
JumpBox – A Seamless Browser Proxy for Tor Pluggable Transports
Last synced: 06 Nov 2024
https://github.com/sri-csl/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.
Last synced: 06 Nov 2024
https://github.com/sri-csl/high-assurance-crypto
This repository contains software for projects focusing on computer-aided verification of (distributed) cryptographic protocols and algorithms.
Last synced: 06 Nov 2024
https://github.com/sri-csl/yices2_python_bindings
Python bindings for yices2
python-bindings smt-solver yices
Last synced: 06 Nov 2024
https://github.com/sri-csl/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.
Last synced: 06 Nov 2024
https://github.com/sri-csl/smt.tmbundle
Linguist/TextMate support for SMT-LIB2
Last synced: 06 Nov 2024
https://github.com/sri-csl/vcpublic
Place to share snapshots of maude models
Last synced: 06 Nov 2024
https://github.com/sri-csl/iopc
The C infrastructure for the IOP system
actor-model actors jlambda maude
Last synced: 06 Nov 2024
https://github.com/sri-csl/whollyrecipes
Recipes for the Wholly build system
Last synced: 06 Nov 2024
https://github.com/sri-csl/occam-benchmarks
Set of benchmarks used by the OCCAM tool.
Last synced: 06 Nov 2024
https://github.com/sri-csl/sri-glibc-malloc
SRI's modification of glibc malloc that eliminates metadata in client memory.
Last synced: 06 Nov 2024
https://github.com/sri-csl/libfutil
The _F_unctions and _UTIL_ities library
Last synced: 06 Nov 2024
https://github.com/sri-csl/pvspackrat
PVS proofs for PEG grammars and Packrat parsers.
Last synced: 06 Nov 2024
https://github.com/sri-csl/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.
latex track-changes version-control
Last synced: 06 Nov 2024
https://github.com/sri-csl/sudokusolver
A sudoku solver to illustrate the new yices python API
Last synced: 06 Nov 2024
https://github.com/sri-csl/datum
A parser for biological experiment shorthand.
Last synced: 06 Nov 2024
https://github.com/sri-csl/lingoboost
Project for LingoBoost "TMR Lite" Android App
Last synced: 06 Nov 2024
https://github.com/sri-csl/nodelet_core
nodelet_core is a forked version of nodelet_core for Secure ROS.
Last synced: 06 Nov 2024
https://github.com/sri-csl/augmented-metitarski
An Augmented MetiTarski Dataset for Real Quantifier Elimination using Machine Learning
Last synced: 06 Nov 2024
https://github.com/sri-csl/io-specialization
Specialization of IO system calls
Last synced: 06 Nov 2024
https://github.com/sri-csl/blissresources
A collection of public resources related to BLISS (Bimodal Lattice Signature Schemes)
Last synced: 06 Nov 2024
https://github.com/sri-csl/dnre
Code accompanying paper: Direct Amortized Likelihood Ratio Estimation
Last synced: 06 Nov 2024
https://github.com/sri-csl/parsley-rust
Rust infrastructure for Parsley parsing
Last synced: 06 Nov 2024
https://github.com/sri-csl/evocrypt
EVOCrypt: EasyCrypt Verified OCaml Cryptographic Library
Last synced: 06 Nov 2024
https://github.com/sri-csl/safedocs-recognizer
DARPA SafeDocs TA1 software suite to bundle and orchestrate various format-aware tracing tools.
Last synced: 06 Nov 2024
https://github.com/sri-csl/_ros_comm
ros_comm is a forked version of ros_comm for Secure ROS.
Last synced: 06 Nov 2024
https://github.com/sri-csl/rendezvous
Abandonware or Demoware code base for rendezvous.
Last synced: 06 Nov 2024
https://github.com/sri-csl/trinity-packet
Code for model safeguards for packet-level DNN classifiers
Last synced: 06 Nov 2024
https://github.com/sri-csl/fomoh
PyTorch-based library that implements nested forward AD and interfaces with PyTorch models.
Last synced: 06 Nov 2024
https://github.com/sri-csl/randoop-gradle-plugin
(experimental) randoop gradle plugin
Last synced: 06 Nov 2024
https://github.com/sri-csl/trinity_ooc
Out of Context detection, official dataset repo for the IJCAI paper: Detecting Out-Of-Context Objects Using Graph Contextual Reasoning Network
Last synced: 06 Nov 2024
https://github.com/sri-csl/trinity
Trinity AI for Improving Trustworthiness, Resilience and Interpretability of AI
Last synced: 06 Nov 2024
https://github.com/sri-csl/safedocs-meow
SafeDocs TA1 `meow` tool for format-aware tracing of memory events based on Intel Pin
Last synced: 06 Nov 2024
https://github.com/sri-csl/descert-example
a place where we can play with DesCert gradle plugins
Last synced: 06 Nov 2024
https://github.com/sri-csl/libpoly_ocaml_bindings
OCaml bindings for libpoly
Last synced: 06 Nov 2024
https://github.com/sri-csl/daikon-gradle-plugin
(experimental) daikon gradle plugin
Last synced: 06 Nov 2024