TranslatedLUMINA Guide: Jetson + Orbbec RGB-D wearable navigation assistant prototype
Repository Index
47,133 repositories indexed
193–216 of 233 · Most stars
Nosis is a lightweight personal agent runtime: per-session execution boundaries with OS-level sandboxing, computer use, a full built-in toolset, Skill / Plugin / MCP extensions, one runtime shared by GUI and TUI, and file-persisted sessions, plans, and memory.
- agent-framework
- agent-runtime
- agent-skills
- ai-agent
Jupyter kernel for Coq
Aqara (Xiaomi) Gateway to MQTT bridge (I use it for home assistant integration)
- aqara-mqtt
- mqtt
- xiaomi
- aqara
See what your AI coding agent is doing. Multi-provider assistant & session monitor for VS Code and the terminal — inline completions, code transforms, and a full TUI dashboard tracking tokens, cost, and context across Claude Code, OpenCode, and Codex. Switch between multiple Claude Code and Codex accounts.
- copilot-alternative
- inline-completion
- claude-code-cli
- code-reviews
🐧 Security-focused Linux distribution with 140+ tools, custom kernel 6.17.13, AI assistant | 5 editions | Cloud, AI/ML, Automotive, Hardware hacking
AI-powered skills for Magento 2 development with Hyva Theme. These skills extend AI coding assistants with specialized knowledge for creating Hyva themes, modules, and CMS components.
Home Assistant + Node-Red
- node-red
- home-assistant
- home-automation
- iot
Run your coding agents from Telegram. A bridge for Claude Code, Codex, OpenCode, Pi and Antigravity CLI: send tasks by text or voice, watch them work and approve changes from your phone.
- ai-agents
- claude-code
- cli-tools
- codex
Free, native MongoDB GUI with the power of paid tools — every auth mode, TLS/SSH/proxy, aggregation + explain plans, bulk edit, schema analysis, GridFS, embedded mongosh, AI query assistant. Encrypted, zero telemetry. Tauri + React. Apache-2.0.
- cross-platform
- database-gui
- desktop-app
- devtools
Compilation and Verification of Data-Centric Languages
- verification
- query-language
- query-engine
- functional-programming
A PostgreSQL assistant for developers Understand, optimize, and improve your PostgreSQL database with ease.
- design
- llm
- performance
- postgresql
Python bindings for the Coq interactive proof assistant
- python
- coq
- verification
- machine-learning
HomeMaster is an open-source platform for local-first smart home automation using ESP32-based devices like MiniPLC and MicroPLC. This repository includes firmware, schematics, and documentation for creating modular, cloud-free automation systems fully compatible with Home Assistant via ESPHome
- automation-controller
- embedded-systems
- esp32
- esphome
Outcome-based persistent memory MCP server for Claude Code and OpenCode. Good advice promoted, bad advice demoted. pip install roampal.
- ai-memory
- claude-code
- llm
- mcp
The Waterproof plugin for the Rocq proof assistant allows you to write Rocq proofs in a style that resembles handwritten mathematical proofs, designed to help university students with learning how to prove mathematical statements.
Web Service/ API for Alexa and Google Home Node-RED Smart Home Control
- node-red
- alexa-skill
- home-automation
- alexa-custom-skill
A social media assistant.
Sticky note bookmarks for Neovim — per Git branch, with hover annotations, Telescope integration, and one-keystroke handoff to AI assistants
Docker images of the Coq proof assistant (see also: https://github.com/coq-community/docker-coq-action) [maintainer=@Justme0606]
Samples using context variables and (system) entities in IBM Watson Assistant (formerly Conversation) service on IBM Cloud
- ibm-cloud
- watson-assistant
- watson-conversation
- chatbot
A ESP32 sensor to read an p1 electricity meter and publish this to MQTT and HomeAssistant, written in MicroPython
- homeassistant
- mqtt
- simulation
- p1meter
Elegant library to manage the interactions between view and model in Swift
- model
- view
- controller
- viper
Improve Open Assistant with ChatGPT.