lyg1597 Goto Github PK
Type: User
Type: User
An interrupt-based GPS library for no-parsing-required use
alpha-beta-CROWN: An Efficient, Scalable and GPU Accelerated Neural Network Verifier (winner of VNN-COMP 2021 and 2022)
ArduPlane, ArduCopter, ArduRover source
The main verification tool
Course homework assignments for CS498IR, UIUC, Spring 2022
Repository for scripts used in demos and experiments
Introducing a curated dataset for drone detection and a state-of-the-art YOLOv7 model, enabling real-time and accurate identification of drones in complex environments.
PX4 Pro Autopilot Software
Image augmentation for machine learning experiments.
A PSP emulator for Android, Windows, Mac, Linux and Blackberry 10, written in C++. Want to contribute? Join us in #ppsspp on freenode (IRC) or just send pull requests / issues.
Neural Network Verification Software Tool
LQR controller for quadrotors
Methods to compute sets of states reachable by dynamical systems
Code for "Single-view robot pose and joint angle estimation via render & compare", CVPR 2021 (Oral).
Traffic scenario definition and execution engine
Library for modeling, simulation, and verification of interacting autonomous agents
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.