搜索结果：ava（65 个）

saw-script 是基于 Haskell 开发的软件分析工作台（SAW）。它主要解决多语言程序的形式化验证问题，支持对 C、Java、Rust 及 Cryptol 编写的代码进行形式化语义建模与推理。开发者可通过其专用的 SAWScript 脚本语言作为操作接口，结合 Z3 等 SMT 求解器完成代码的形式化验证。

用 JavaScript 实现的常用算法与数据结构集合，附带详细解释及参考延伸阅读，适合学习与面试准备。

LeetCode 题解合集，记录作者的算法刷题之路与解题思路。

求职面试所需技术与算法知识综合指南。

提供免费资源的底层设计（LLD）学习与求职面试备战合集。

精选 LeetCode 学习资源汇总，用于学习数据结构与算法以及备战编程面试。

开源 AI 求职 Agent：扫描招聘网站、对比简历打分、定制 ATS 友好简历并提供面试准备。

高性能统计机器智能与机器学习引擎（SMILE）。

《代码随想录》LeetCode 刷题攻略，包含 200 道经典题目刷题顺序、图解及多语言版本实现。

经典畅销书《算法图解》（Grokking Algorithms）的官方配套代码。

Ian Goodfellow 等人编写的 MIT《深度学习》经典教材 PDF 版本（含完整版及分卷）。

用动画形式呈现 LeetCode 刷题思路，支持单步调试、回看、变速及语音讲解。

Java 面试与学习指南，涵盖大部分 Java 开发者所需掌握的核心知识。

免费的计算机编程类中文书籍资源汇总，欢迎社区投稿分享。

交互式 Git 可视化与教程平台，通过动手练习帮助开发者直观掌握 Git 操作。

OWASP 备忘单系列，精炼整理针对特定应用安全主题的高价值实践指南。

用于神经网络、深度学习及机器学习模型结构的可视化查看工具。

面向 Web 的前沿 Machine Learning 库，无需服务器即可直接在浏览器中运行 Transformers。

面向嵌入式系统工程师的全面学习路线图，包含精选学习资源列表。

开源项目管理软件，支持敏捷规划、问题追踪、产品路线图与甘特图，可作为 Jira 的替代方案。