SolutionsExcite's repositories
ScrappySpaceScraper
Scraping Space
audacity
Audio Editor
DroneSim
SoftAgents drone simulation example
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.
gllvm
Whole Program LLVM: wllvm ported to go
go-patterns
Curated list of Go design patterns, recipes and idioms
io-specialization
Specialization of IO system calls
jel
JPEG Embedding Library
k3os
Purpose-built OS for Kubernetes, fully managed by Kubernetes.
LLVM-embedded-toolchain-for-Arm
A project dedicated to building LLVM toolchain for 32-bit Arm embedded targets.
llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
musllvm
The start of a port of musl libc to an "x86_64 llvm bitcode" architecture.
OCCAM
OCCAM: Object Culling and Concretization for Assurance Maximization
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").
rockchip-multimedia-docker
rockchip-multimedia-docker
secure_ros
Secure ROS
whole-program-llvm
A toolkit for building whole-program LLVM bitcode files
WhollyRecipes
Recipes for the Wholly build system
yices2
The Yices SMT Solver
yices2_go_bindings
Golang bindings for yices2
yices2_python_bindings
Python bindings for yices2