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