melonedo
Follow
Stars
Macast is a cross-platform application which using mpv as DLNA Media Renderer.
Kernel Design Agents (KDA) is a agent-centric workflow to write high-performance CUDA Kernels.
Ongoing Lean formalisation of the proof of Fermat's Last Theorem
Lean 4 programming language and theorem prover
A list of awesome lean4 projects. Feel free to add your project.
A Easy-to-understand TensorOp Matmul Tutorial
Open-source framework for the research and development of foundation models.
A persistent, daemon-based multi-agent system that leverages opencode to automatically discover, plan, implement, and review code changes across a codebase.
Curated embodied AI list: surveys, VLA models, datasets, simulators, humanoids, robot learning, and safety resources.
Diffusion model(SD,Flux,Wan,Qwen Image,Z-Image,...) inference in pure C/C++
High-performance, light-weight C++ LLM and VLM Inference Software for Physical AI
Get 10X more out of Claude Code, Codex or any coding agent
Pure C++ implementation of several models for real-time chatting on your computer (CPU & GPU)
Letting AI Actively Manage Its Own Context
Examine RawInput API content in realtime.
CUDA kernels for linear attention variants, written in CuTe DSL and CUTLASS C++.
Bridge local AI coding agents (Claude Code, Cursor, Gemini CLI, Codex) to messaging platforms (Feishu/Lark, DingTalk, Slack, Telegram, Discord, LINE, WeChat Work). Chat with your AI dev assistant f…
Collection of China illegal cases about web crawler 本项目用来整理所有中国大陆爬虫开发者涉诉与违规相关的新闻、资料与法律法规。致力于帮助在中国大陆工作的爬虫行业从业者了解我国相关法律，避免触碰数据合规红线。
小红书笔记 | 评论爬虫、抖音视频 | 评论爬虫、快手视频 | 评论爬虫、B 站视频 ｜ 评论爬虫、微博帖子 ｜ 评论爬虫、百度贴吧帖子 ｜ 百度贴吧评论回复爬虫 | 知乎问答文章｜评论爬虫
微舆：人人可用的多Agent舆情分析助手，打破信息茧房，还原舆情原貌，预测未来走向，辅助决策！从0实现，不依赖任何框架。
AI Agent Assistant & development framework that integrates lots of IM platforms, LLMs, plugins and AI feature, and can be your openclaw alternative. ✨