★
ciencia-da-computacao 是一个资源清单，按主题汇总同类优质资源。
🎓 Um caminho para a educação autodidata em Ciência da Computação!
ksluckow / awesome-symbolic-execution
awesome-symbolic-execution
A curated list of awesome symbolic execution resources including essential research papers, lectures, videos, and tools.
awesome-symbolic-execution 是一个资源清单，按主题汇总同类优质资源。
目前累计 1.5k star、151 fork，项目始于 2017 年，采用 CC0-1.0 许可。最近状态：已有一段时间未更新。适合：正在选型、找方案的人。
中文介绍优先采用本站人工维护条目；无维护条目时依据 GitHub 公开字段（语言、主题、星标、提交时间）自动生成，未经项目方确认，不构成选型结论。ksluckow/awesome-symbolic-execution 是一个多语言的开源项目，目前累计 1.5k star、151 fork，一年以上有维护。主要方向：awesome-list、dynamic-analysis、dynamic-symbolic-execution、symbolic-execution。
依据 GitHub 公开字段（语言、主题、星标、提交时间）自动生成，未经人工逐项核实。README
正在加载…相关项目
★
awesome-production-machine-learning 是一个学习资料，用于系统学习与查阅，主打开源免费。
A curated list of awesome open source libraries to deploy, monitor, version and scale your machine learning
★
awesome-readme 是一个资源清单，按主题汇总同类优质资源。
A curated list of awesome READMEs
★
awesome-dotnet 是一个资源清单，按主题汇总同类优质资源。
A collection of awesome .NET libraries, tools, frameworks and software
★
awesome-flipperzero 是一个资源清单，按主题汇总同类优质资源。
🐬 A collection of awesome resources for the Flipper Zero device.
★
awesome-n8n-templates 是一个自动化工具，用于流程自动化编排，主打开源免费。
280+ free n8n automation templates — ready-to-use workflows for Gmail, Telegram, Slack, Discord, WhatsApp, Google Drive, Notion, OpenAI, and more. A…