Skip to content
#

autonomous-systems

Here are 728 public repositories matching this topic...

MOTO is an automated theorem generator for science. It's a creative novelty-seeking researcher with autonomous Lean 4 proof generation. Run for days at a time once pressing start - no interaction needed! Agents working in parallel from either local host LM studio, OpenRouter, OAuth or all 3. No internet required. Star us for more!

  • Updated Aug 31, 2026
  • Python

🚗 A repository for documenting and exploring the world of autonomous driving safety, featuring a curated collection of research papers, reports, and resource.

  • Updated Sep 19, 2024

ORCUS - Multi-drone kamikaze system for autonomous area surveillance and target engagement. Intelligent grid partitioning prevents collisions during parallel operations. Drones scan zones, detect human targets with AI vision, lock on with precision tracking, and execute collision. ArduPilot SITL + ROS + Gazebo simulation.

  • Updated Aug 29, 2026
  • Python

Add this topic to your repo

To associate your repository with the autonomous-systems topic, visit your repo's landing page and select "manage topics."

Learn more