mit-acl/mighty
Contribute to mit-acl/mighty development by creating an account on GitHub.
Mastering Drone Flight with MIGHTY
Published 139d agoLive project index · 574 signals
One canonical project card, grounded summary, repository link, and verified platform availability.
Snapshot generated 2026-08-31T10:30:02.913782+00:00 · latest metrics not captured · 0/1148 cards with normalized metrics.
Contribute to mit-acl/mighty development by creating an account on GitHub.
Mastering Drone Flight with MIGHTY
Published 139d ago
Learn LLM internals step by step - from tokenization to attention to inference optimization. - amitshekhariitbhu/llm-internals
Master LLM Internals: From Tokenization to Inference
Published 139d ago
Neovim edit completion plugin. Contribute to cursortab/cursortab.nvim development by creating an account on GitHub.
Supercharge Your Neovim Workflow with CursorTab
Published 140d ago
Mano-P: Open-source GUI-VLA agent for edge devices. #1 on OSWorld (specialized, 58.2%). Runs locally on Apple M4 Mac mini/MacBook — no data leaves your device.Mano-P 是一个开源 GUI-VLA 项目,支持在 Mac mini/MacBook 上或通过算力棒本地运行推理,实现纯视觉驱动的跨平台 GUI 自动化操作。数据完全本地处理,支持复杂多步骤任务规划与执行。 - Mininglamp-AI/Mano-P
Automate Your Desktop Locally with Mano-P
Published 140d ago
Product-Led Growth (PLG) analysis toolkit that detects tech stacks, plans growth loops and builds the loop iteratively. - SkeneTechnologies/skene
Supercharge Your Product Growth With This Tool
Published 140d ago
A simple shell utility for encrypting and decrypting files using OpenSSL. - nodesocket/cryptr
Encrypt Your Files Instantly with Cryptr
Published 140d ago
🔊 Simple, accessible and flexible audio player. Contribute to slash9494/react-modern-audio-player development by creating an account on GitHub.
Build Custom Audio Players with React Modern Audio Player
Published 140d ago
An extremely simple lofi player. Contribute to talwat/lowfi development by creating an account on GitHub.
The Ultimate Minimalist Lofi Player
Published 140d ago
Selfhostable web app to make managing mTLS certificates a breeze - 7ritn/VaulTLS
Simplify Your mTLS Certificate Management with VaulTLS
Published 140d ago
a debugger for async rust! Contribute to tokio-rs/console development by creating an account on GitHub.
Debug Async Rust Like a Pro
Published 140d ago
Git branches made easy. Contribute to git-town/git-town development by creating an account on GitHub.
Stop Fiddling with Git Branches
Published 140d ago
TUI for reviewing diffs, files, and documents with inline annotations - umputun/revdiff
Level Up Your Code Reviews With This Terminal Tool
Published 140d ago
Kon is a minimal coding agent (and also a highly opinionated one) - 0xku/kon
Kon: The Minimalist Terminal Coding Agent
Published 140d ago
Heal your social media feeds. Contribute to imbue-ai/bouncer development by creating an account on GitHub.
Fix Your Social Media Feed with AI
Published 140d ago
Powerful MacOS Launcher. Contribute to SuperCmdLabs/SuperCmd development by creating an account on GitHub.
Supercharge Your Mac Workflow
Published 140d ago
Local-first session intelligence and analytics for coding agents, supporting Claude Code, Codex, and more than 20 other agents. Also: 100x faster replacement for ccusage! - kenn-io/agentsview
Stop Losing Your AI Coding Sessions
Published 140d ago
On-device memory layer for AI agents. Claude Code, Hermes and OpenClaw. Hooks + MCP server + hybrid RAG search. - yoloshii/ClawMem
Stop AI Forgetting! Persistent Memory for Your AI Agents
Published 140d ago
Edit Video with Claude Code. Contribute to barefootford/buttercut development by creating an account on GitHub.
Edit Video Faster With AI
Published 140d ago
Lightweight and Memory efficient terminal for Mac built with SwiftUI and libghostty - muxy-app/muxy
Supercharge Your Terminal Workflow on macOS with Muxy
Published 141d ago
Code Editor for the AI Agents Era. Run multiple Claude Code and Codex agents across projects on your machine. - hanshuaikang/nezha
Supercharge Your AI Coding Workflow with Nezha
Published 141d ago
A verification toolchain for Rust programs. Contribute to AeneasVerif/aeneas development by creating an account on GitHub.
Verify Your Rust Code with Aeneas
Published 141d ago
Give each AI agent its own isolated machine with root, Docker, and systemd. Active defense detects and stops threats automatically.. - mensfeld/code-on-incus
Secure Your AI Coding Agents with Code on Incus
Published 141d ago
A lightweight, prompt-driven MCP web research server for high-quality LLM powered information extraction. - AuthBits/webmcp
Supercharge Your AI Research with This Tool
Published 141d ago
An operating system. Contribute to roscopeco/anos development by creating an account on GitHub.
Build Your Own Microkernel: Anos OS
Published 141d ago