SolutionsExcite's repositories
multipass-blueprints
Blueprint definitions for [`multipass launch`](https://multipass.run)
ScrappySpaceScraper
Scraping Space
apollo-server
🌍 Spec-compliant and production ready JavaScript GraphQL server that lets you develop in a schema-first way. Built for Express, Connect, Hapi, Koa, and more.
audacity
Audio Editor
build
Armbian Linux build framework generates custom Debian or Ubuntu image for x86, aarch64, riscv64 & armhf
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
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.
linux-torvalds
Linux kernel source tree
llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
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").
rk3588-TRM-and-Datasheet
Rockchip rk3588(s) Technical Reference Manual and Datasheet
rockchip-multimedia-docker
rockchip-multimedia-docker
secure_ros
Secure ROS
whole-program-llvm
A toolkit for building whole-program LLVM bitcode files
yices2
The Yices SMT Solver
yices2_go_bindings
Golang bindings for yices2
yices2_python_bindings
Python bindings for yices2