搜索结果：v（219 个）

Lamdu 是一个用 Haskell 开发的下一代实时编程环境（结构化/投影编辑器）。它解决了传统文本代码编写易出错、反馈慢的问题，提供智能类型补全、自动括号处理，并在编写时实时显示每个子表达式的求值结果，且无需手动保存，极大提升了编程交互体验。

数字逻辑设计与电路仿真工具。

基于 PyTorch 实现的图像到图像转换算法（CycleGAN 与 pix2pix）。

Golang 书籍推荐列表。

微软官方推出的 AI 入门教程，涵盖 12 周共 24 节基础课程。

深入探讨 JavaScript 语言核心机制与特性的知名经典系列图书。

一线大厂技术面试真题与答案汇总，包含出题专家深度分析。

互联网 Java 工程师进阶知识完全扫盲，涵盖高并发、分布式、高可用、微服务及海量数据处理等面试内容。

面向通用时间序列分析的高级深度时间序列算法模型库。

计算机速成课（Crash Course Computer Science）全 40 集精校中文翻译项目。

开源的 JavaScript 教程，全面介绍 ECMAScript 6 新增语法特性。

面向大规模机器学习的高性能、灵活的参数服务器（Parameter Server）。

支持在命令行创建和查看交互式备忘录（cheatsheet）的工具，方便速查常用系统命令选项。

精选 React Native 组件、新闻、开发工具与学习资料合集。

方块游戏的“谷歌地图”（Minecraft 寻路机器人）。

汇集 1000 道精选 JavaScript 面试题的速查与复习清单。

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

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

针对传统 man 手册过于冗长复杂的问题，tldr 提供了由社区维护的命令行速查表。它摒弃繁杂说明，聚焦于最实用的命令示例，涵盖 Linux、macOS、Windows 等多系统的常用工具，帮助开发者迅速上手命令，支持多种客户端和网页查阅。

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