搜索结果：r（312 个）
按分类缩小范围
stainless
综合 63
Stainless 是一个面向 Scala 语言子集的形式化验证框架与工具。它主要解决高阶 Scala 程序的正确性验证问题，支持 Scala 3.5.0 及以上版本。核心功能是通过命令行对代码进行形式化分析，自动验证断言及模式匹配完备性等属性。
sentence-transformers
综合 63
先进的文本嵌入（Embeddings）、信息检索与重排序（Reranking）工具库。
100-Days-Of-ML-Code
综合 63
100 天搞定机器学习（100-Days-Of-ML-Code）项目官方中文版教程。
ivy
综合 63
在不同框架间转换机器学习代码。
night
综合 63
Go 夜读：通过 Bilibili 直播分享 Go 技术话题，社群日常交流编程技术。
tfjs
综合 62
支持 WebGL 硬件加速的 JavaScript 库，用于在前端训练与部署 ML 模型。
julia
综合 62
Julia 是专为技术计算打造的高级、高性能动态编程语言。它旨在解决科学计算和数值分析中兼顾易用性与极致运行速度的需求，提供交互式命令行（REPL）及丰富的包生态，广泛应用于高性能计算、机器学习与科学研究等领域。
精选 500 道 ReactJS 常见面试题及答案，编程实战题即将更新。
leetcode-patterns
综合 62
基于题型模式分类的技术面试刷题学习指南。
SwarmUI
综合 62
模块化 Stable Diffusion Web 界面，注重易用高级工具、高性能与可扩展性。
calibre
综合 62
知名开源电子书管理软件 calibre 的官方源码仓库。
HRM
综合 62
Hierarchical Reasoning Model（分层推理模型）官方发布仓库。
google-research
综合 62
Google Research 官方研究项目与代码集合仓库。
emoji-cheat-sheet
综合 62
Markdown 版本的 Emoji 速查表。
对齐新课标的中小学多学科知识图谱及题库，带知识点先修关系，提供自适应前置诊断，方便回溯定位薄弱知识点。
swarm
综合 61
OpenAI 官方推出的教学框架，用于探索轻量且符合人机工程的多智能体（multi-agent）编排。
react
综合 61
面向有经验的 React 开发者快速上手 TypeScript 的实用速查手册。
abu
综合 61
基于 Python 的开源量化交易系统，支持股票、期权、期货、加密货币及机器学习投研。
一套利用免费在线资源整理的计算机科学完整自学路线，帮自学者系统学习并掌握计算机基础体系。
tianshou
综合 61
基于 PyTorch 构建的优雅、灵活的深度强化学习库。