aogrcs Goto Github PK
Name: wenlong
Type: User
Bio: focus in verification of real time embedded control system using static analysis, theorem proving
Name: wenlong
Type: User
Bio: focus in verification of real time embedded control system using static analysis, theorem proving
Flight stack for an unmanned fixed-wing weather glider.
Collection of Verification Tasks
MIT
CDV simulator-based testbench with test templates (ROS Hydro and Indigo)
Velocity Based Motion Profile Path Generation
An interpreter for finding subtle bugs in programs written in standard C
Drake, Atlas Drivers, and State Estimation
Links to tools by subject
WP7: Top Level Project for the toolchain
Trick Simulation Environment. Trick provides a common set of simulation capabilities and utilities to build simulations automatically.
Tegra Unmanned Retrieval Bot gen2, with NVIDIA Jetson TX2 and deep reinforcement learning
collection of C/C++ programs that try to get compilers to exploit undefined behavior
An implementation of Hoare and He's Unifying Theories of Programming in Isabelle
Research prototype tool for modular formal verification of C and Java programs
Some Linux kernel library functions formally verified.
The NASA Vision Workbench is a general purpose image processing and computer vision library developed by the Autonomous Systems and Robotics (ASR) Area in the Intelligent Systems Division at the NASA Ames Research Center.
Well-Clear Boundary Models for Integration of UAS in the NAS
Platform for Autonomous Vehicle based on Control System, Formal Verification, Tensorflow and ROS
ROS stacks for the KUKA youBot
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.