搜索结果：is（134 个）
按分类缩小范围
WTF-Solidity
综合 57
面向新手开发者的 Solidity 极简入门教程，支持中英双语。
一本使用 Python 和 Matplotlib 进行科学可视化的开源书籍。
nautilus_trader
综合 57
基于 Rust 开发的生产级交易引擎，采用确定性事件驱动架构。
xxHash
综合 57
拥有极高运行速度的非加密哈希算法实现。
90DaysOfDevOps
综合 56
系统化的 DevOps 学习路线图，三年沉淀，涵盖 DevOps 各领域核心内容。
NetLogo
综合 56
NetLogo 是一个基于 Scala 开发的多主体建模（ABM）仿真平台。它主要面向学生、教师和科研人员，用于模拟和探索复杂系统。平台核心通过海龟（turtles）、网格（patches）和链接（links）等基本要素，支持低门槛地构建、运行与可视化复杂的交互式主体模型。
logisim-evolution
综合 56
数字逻辑设计与电路仿真工具。
基于 PyTorch 实现的图像到图像转换算法（CycleGAN 与 pix2pix）。
GoBooks
综合 56
Golang 书籍推荐列表。
AI-For-Beginners
综合 56
微软官方推出的 AI 入门教程，涵盖 12 周共 24 节基础课程。
深入探讨 JavaScript 语言核心机制与特性的知名经典系列图书。
一线大厂技术面试真题与答案汇总，包含出题专家深度分析。
互联网 Java 工程师进阶知识完全扫盲，涵盖高并发、分布式、高可用、微服务及海量数据处理等面试内容。
Time-Series-Library
综合 55
面向通用时间序列分析的高级深度时间序列算法模型库。
learngo
综合 55
包含 1000+ 示例、习题与测验的 Go 语言学习项目，通过修改小程序掌握 Go。
cheat
综合 55
支持在命令行创建和查看交互式备忘录（cheatsheet）的工具，方便速查常用系统命令选项。
awesome-react-native
综合 54
精选 React Native 组件、新闻、开发工具与学习资料合集。
汇集 1000 道精选 JavaScript 面试题的速查与复习清单。
awesome-english-ebooks
综合 54
免费下载《经济学人》（含音频）、《纽约客》等英文原版杂志，支持 EPUB、MOBI、PDF，每周更新。
saw-script
综合 54
saw-script 是基于 Haskell 开发的软件分析工作台（SAW）。它主要解决多语言程序的形式化验证问题，支持对 C、Java、Rust 及 Cryptol 编写的代码进行形式化语义建模与推理。开发者可通过其专用的 SAWScript 脚本语言作为操作接口，结合 Z3 等 SMT 求解器完成代码的形式化验证。