搜索结果：pil（84 个）
按分类缩小范围
oxc
综合 64
一套高性能的 JavaScript 工具集。
copilot
综合 64
Copilot 是一个基于 Haskell 的硬实时系统运行时验证框架。它解决嵌入式和硬实时系统在运行时的安全监测与正确性验证难题。核心功能支持用流式语言编写高级规范，并能将其生成时间与内存恒定的 C99 监控代码，同时提供测试解释器和定理证明支持。
gpt-pilot
综合 64
自称首个真正意义上的 AI 开发者助手，专注于从零协作构建完整应用。
一份收录了 300+ 条实用建议的清单，帮助保护个人数字安全与隐私。
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 账号管理工具，支持多账号切换、配额监控与多开实例管理。
v
综合 61
简单、快速且安全的编译型语言，零依赖自编译小于 1 秒，支持将 C 自动转为 V。
slim
综合 61
无需修改容器镜像，即可将其体积缩小高达 30 倍并提升安全性（开源免费）。
gopherjs
综合 61
将 Go 语言编译为 JavaScript 的编译器，支持在浏览器中运行 Go 代码。
scala3
综合 61
scala3（曾用名 Dotty）是 Scala 3 编程语言的官方开源仓库。它主要解决了 Scala 语言的现代化演进问题，核心包含了 Scala 3 的官方编译器、标准库及语言规范，为开发者提供编译执行 Scala 3 代码的完整基础工具链支持。
ai-guide
综合 60
程序员鱼皮的 AI 资源大全与零基础教程，涵盖主流大模型玩法、Prompt 技巧及 AI 编程实战。
futhark
综合 60
Futhark 是由哥本哈根大学开发的数据并行纯函数式编程语言，属于 ML 语言家族。它主要解决高性能并行计算的编写难题，核心功能是将函数式代码编译为可在 CPU 或 GPU（支持 CUDA、OpenCL）上运行的高效并行程序，适用于实用级高性能计算场景。
wartremover
综合 60
WartRemover 是一款灵活的 Scala 代码静态检查（Linting）工具。它主要作为编译器插件使用，基于宏（macros）等技术，帮助开发者在编译阶段排查并规范代码中的不良写法或潜在问题，提升 Scala 代码的质量与安全性。
million
综合 60
面向 React 的性能优化编译器。
zio-quill
综合 60
〔中文简介暂未生成〕 Compile-time Language Integrated Queries for Scala
rust-analyzer
综合 60
面向各类 IDE 和代码编辑器的 Rust 语言编译器前端实现。