搜索结果：pil（118 个）
按分类缩小范围
oxc
综合 64
一套高性能的 JavaScript 工具集。
skypilot
综合 64
AI 算力编排平台，将分散的 AI 算力整合为虚拟超级计算机，加速模型研发。
nginx-ui
综合 64
又一款 Nginx 的 WebUI 管理界面。
copilot
综合 64
Copilot 是一个基于 Haskell 的硬实时系统运行时验证框架。它解决嵌入式和硬实时系统在运行时的安全监测与正确性验证难题。核心功能支持用流式语言编写高级规范，并能将其生成时间与内存恒定的 C99 监控代码，同时提供测试解释器和定理证明支持。
gpt-pilot
综合 64
自称首个真正意义上的 AI 开发者助手，专注于从零协作构建完整应用。
一份收录了 300+ 条实用建议的清单，帮助保护个人数字安全与隐私。
Nuitka
综合 64
用 Python 编写的 Python 编译器，兼容多版本，可将代码编译为独立可执行文件或扩展模块。
react-native-ui-kitten
综合 64
基于 Eva Design System 的 React Native UI 库，提供 30+ 支持动态明暗主题切换的跨平台组件
ogma
综合 63
Ogma 是面向飞行器和机器人系统的运行时监控器生成工具，解决安全监控难以集成到外部系统的难题。它基于 Copilot，可为 NASA cFS、ROS 和 F' 生成监控应用或组件，支持从 Graphviz、Mermaid 等图表生成监控器，并自动生成 C 结构体胶水代码。
bloop
综合 63
Bloop 是专为 Scala 设计的构建服务器与命令行工具，旨在解决 Scala 编译慢、开发流程繁琐的问题。它能与各类编辑器及构建工具集成，提供开箱即用的支持，帮助开发者在任何工作流中快速完成 Scala 代码的编译、测试与运行。
Pillow
综合 63
友好的 Python 图像处理库（PIL 的活跃分支）。
swc
综合 62
基于 Rust 构建的高性能 Web 编译与工具平台。
RustPython
综合 62
使用 Rust 语言编写的开源 Python 解释器。
gleam
综合 62
一门用于构建类型安全、高可扩展性系统的友好函数式编程语言。
cockpit-tools
综合 62
通用 AI IDE 账号管理工具，支持多账号切换、配额监控与多开实例管理。
copilot-cli
综合 61
直接集成到命令行终端的 GitHub Copilot 智能代码助手工具。
CopilotForXcode
综合 61
专为 Xcode 打造的 AI 代码编写助手。
v
综合 61
简单、快速且安全的编译型语言，零依赖自编译小于 1 秒，支持将 C 自动转为 V。
slim
综合 61
无需修改容器镜像，即可将其体积缩小高达 30 倍并提升安全性（开源免费）。
scala3
综合 61
scala3（曾用名 Dotty）是 Scala 3 编程语言的官方开源仓库。它主要解决了 Scala 语言的现代化演进问题，核心包含了 Scala 3 的官方编译器、标准库及语言规范，为开发者提供编译执行 Scala 3 代码的完整基础工具链支持。