搜索结果:pil(117 个)
按分类缩小范围
parcel
综合 65
面向 Web 开发的零配置打包构建工具。📦🚀
oxc
综合 64
一套高性能的 JavaScript 工具集。
skypilot
综合 64
AI 算力编排平台,将分散的 AI 算力整合为虚拟超级计算机,加速模型研发。
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 结构体胶水代码。
Pillow
综合 63
友好的 Python 图像处理库(PIL 的活跃分支)。
bloop
综合 63
〔中文简介暂未生成〕 Bloop is a build server and CLI tool to compile, test and run Scala fast from any editor or build tool.
swc
综合 62
基于 Rust 构建的高性能 Web 编译与工具平台。
RustPython
综合 62
使用 Rust 语言编写的开源 Python 解释器。
copilot-cli
综合 62
直接集成到命令行终端的 GitHub Copilot 智能代码助手工具。
gleam
综合 62
一门用于构建类型安全、高可扩展性系统的友好函数式编程语言。
cockpit-tools
综合 62
通用 AI IDE 账号管理工具,支持多账号切换、配额监控与多开实例管理。
CopilotForXcode
综合 61
专为 Xcode 打造的 AI 代码编写助手。
v
综合 61
简单、快速且安全的编译型语言,零依赖自编译小于 1 秒,支持将 C 自动转为 V。
slim
综合 61
无需修改容器镜像,即可将其体积缩小高达 30 倍并提升安全性(开源免费)。
gopherjs
综合 61
将 Go 语言编译为 JavaScript 的编译器,支持在浏览器中运行 Go 代码。