H(igh) A(ssurance) ROS - Static analysis of ROS1 application code.
- static-analysis
- ros
- quality-assurance
- robotics
47,133 repositories indexed
3,529–3,552 of 5,661 · Most stars
H(igh) A(ssurance) ROS - Static analysis of ROS1 application code.
The repository host gives no description.
Sublime Text 2 Plugin to compile less files to css on save
SQLAlchemy nested sets mixin (MPTT)
MicroPython driver for WS2812 RGB LEDs (WS2812B, AdaFruit NeoPixels, ...).
McReplay(麦回放)— Structural snapshots, change reports, and local MCP replay for McDonald's China integrations.
TranslatedCaptcha recognition implemented with a convolutional neural network
Runtime defense against memory poisoning in AI agents (OWASP ASI06). Drop-in for LangChain, OpenAI Agents, AutoGen, CrewAI and mem0.
Bitemporal AI memory system: six-variable decay, time-graded recall, TTL expiry, dedupe, competitive retrieval (Neo4j + PostgreSQL + Redis)
manim cell magic for IPython/Jupyter to show the output video
Encode spatial data as topology in Python! 🌍 https://mattijn.github.io/topojson
Tools for working with GTFS public transit data in ArcGIS
Simulation-based Lidar Super-resolution for Ground Vehicles
📁 Asynchronous pathlib for Python
Stop upgrade, most of features were delivered in https://github.com/xjsender/haoide-vscode
Evidence-grounded multi-agent fundamental research and fact-audit system for A-share listed companies.
Zero-dependency MCP server for the Moodle Web Service API — read-only course, assignment, quiz, deadline and file tools for Claude, Cursor and any MCP client. Actively maintained · v1.4.0 · 10 tools · docs in 10 languages.
Code that makes the Iowa Environmental Mesonet run, or run into the ground.
Tool to help analyze PDF files
A micro neural network multilayer perceptron for MicroPython (used on ESP32 and Pycom modules)
Gixy-Next: NGINX Configuration Security Scanner & Performance Checker
TranslatedBuild GPT-2 from scratch in PyTorch, step by step
Associated Repository for "Translation between Molecules and Natural Language"
Automated Testing for Set-Top Boxes and Smart TVs