solutionsexcite Goto Github PK
Type: User
Type: User
Audio Editor
SoftAgents drone simulation example
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.
Whole Program LLVM: wllvm ported to go
Curated list of Go design patterns, recipes and idioms
Specialization of IO system calls
JPEG Embedding Library
Purpose-built OS for Kubernetes, fully managed by Kubernetes.
A project dedicated to building LLVM toolchain for 32-bit Arm embedded targets.
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
The start of a port of musl libc to an "x86_64 llvm bitcode" architecture.
OCCAM: Object Culling and Concretization for Assurance Maximization
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").
Secure ROS
A toolkit for building whole-program LLVM bitcode files
Recipes for the Wholly build system
The Yices SMT Solver
Golang bindings for yices2
Python bindings for yices2
A declarative, efficient, and flexible JavaScript library for building user interfaces.
π Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. πππ
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google β€οΈ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.