17 results found Sort:
- Filter by Primary Language:
- Python (6)
- C++ (3)
- Go (1)
- Haskell (1)
- Jupyter Notebook (1)
- MATLAB (1)
- Rust (1)
- C# (1)
- TypeScript (1)
- G-code (1)
- +
An open autonomous driving platform
Created
2017-07-04
19,340 commits to master branch, last one 11 days ago
Central repository for tools, tutorials, resources, and documentation for robotics simulation in Unity.
Created
2020-09-24
138 commits to main branch, last one about a month ago
Generator of runtime monitors for flight and robotics applications.
Created
2021-08-05
670 commits to develop branch, last one 4 days ago
A complete end-to-end demonstration in which we collect training data in Unity and use that data to train a deep neural network to predict the pose of a cube. This model is then deployed in a simulate...
Created
2021-02-19
102 commits to main branch, last one 2 years ago
Open-source Autonomy Software in Rust-lang using gRPC for the Roomba series robot vacuum cleaners. Under development.
Created
2021-01-09
131 commits to main branch, last one about a year ago
an easy-to-use, secure and decentralized conference call application (this repository is a mirror of an internal work repository)
Created
2020-02-06
1,197 commits to main branch, last one 17 days ago
Neural Network Verification Software Tool
safe-ai
autonomy
reachability
verification
safe-autonomy
cyber-physical
formal-methods
hybrid-systems
neural-network
trustworthy-ai
assured-autonomy
formal-verification
reachability-analysis
cyber-physical-systems
robustness-verification
neural-network-verification
neural-network-certification
trustworthy-machine-learning
Created
2018-08-20
1,835 commits to master branch, last one 24 days ago
A framework for the creation of autonomous agent services.
Created
2021-07-14
13,222 commits to main branch, last one 27 days ago
An inexpensive, autonomous, regolith-mining robot
Created
2018-09-13
1,272 commits to mainline branch, last one 2 years ago
This package provides a CLF-based reactive planning system, described in paper: Efficient Anytime CLF Reactive Planning System for a Bipedal Robot on Undulating Terrain. The reactive planning system c...
Created
2021-06-10
3 commits to release_v0 branch, last one 2 years ago
F-16 Aircraft Dynamics Model from Stevens and Lewis "Aircraft Control and Simulation".
Created
2022-04-24
41 commits to main branch, last one 2 years ago
RL environments and tools for spacecraft autonomy research, built on Basilisk. Developed by the AVS Lab.
Created
2023-06-08
164 commits to develop branch, last one 3 days ago
Record rosbags automatically for events on robot 🤖 👜
Created
2022-09-30
2 commits to main branch, last one 2 years ago
Library for modeling, simulation, and verification of interacting autonomous agents
Created
2022-07-28
820 commits to main branch, last one 2 days ago
Node.js Autonomous Intelligence System
Created
2024-01-16
104 commits to main branch, last one 4 months ago
Agile energy dense agricultural robot design plans and open source code repository
Created
2023-05-07
714 commits to main branch, last one about a year ago
Boilerplate for robot autonomy. Designed for multi-robot, real world deployment with TAK.
Created
2024-06-07
297 commits to main branch, last one 11 days ago