搜索结果：is（136 个）

免费下载《经济学人》（含音频）、《纽约客》等英文原版杂志，支持 EPUB、MOBI、PDF，每周更新。

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

精选优质教程合集，带你从零手写 Git、Docker、数据库等常用技术，通过动手造轮子吃透底层原理、进阶编程水平。

按公司分类的 LeetCode 题目清单，基于官方企业标签整理为 CSV 文件。

〔中文简介暂未生成〕 A code-golfing language experience that has aspects of traditional programming languages - terse yet convenient.

精选 500 个跨行业 AI Agent 实践案例，并提供开源实现链接。

Servant 是一个基于 Haskell 的类型级领域特定语言（DSL）。它主要解决 Web 应用中 API 定义与实现脱节的问题，允许开发者在类型层面精确描述 Web API，并以此统一支持后端服务搭建、客户端请求查询、接口 Mock 测试以及自动生成文档等功能。

Anki 是一款基于间隔重复算法的智能记忆卡片软件，通过科学规划复习时间，帮助用户高效且长久地记忆知识。

全面的 C/C++ 技术面试基础知识与求职经验总结。

汇集 500 个附带源码的 AI、机器学习、深度学习、计算机视觉和 NLP 实战项目。

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

Rust By Practice 项目正演变为 Origin。

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

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

兼顾灵活性、高效性与跨平台特性的 Rust 深度学习框架。

涵盖 Linux、Docker、Kubernetes 等多项技术的 DevOps 面试题与练习题合集。

面向通用机器人与具身智能（Embodied AI）学习的物理仿真平台。

Unity 机器学习智能体工具包，可将游戏和模拟环境作为深度强化学习的训练平台。

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

纯手写代码实现李航《统计学习方法》书中的全部机器学习算法。