搜索结果：pil（15 个）

一套高性能的 JavaScript 工具集。

AI 算力编排平台，将分散的 AI 算力整合为虚拟超级计算机，加速模型研发。

Copilot 是一个基于 Haskell 的硬实时系统运行时验证框架。它解决嵌入式和硬实时系统在运行时的安全监测与正确性验证难题。核心功能支持用流式语言编写高级规范，并能将其生成时间与内存恒定的 C99 监控代码，同时提供测试解释器和定理证明支持。

通用 AI IDE 账号管理工具，支持多账号切换、配额监控与多开实例管理。

scala3（曾用名 Dotty）是 Scala 3 编程语言的官方开源仓库。它主要解决了 Scala 语言的现代化演进问题，核心包含了 Scala 3 的官方编译器、标准库及语言规范，为开发者提供编译执行 Scala 3 代码的完整基础工具链支持。

ScalaPB 是专为 Scala 设计的 Protocol Buffers 编译器插件。它解决 Scala 原生开发中 Protobuf 代码生成的痛点，能将 proto 文件转换为 Scala 样例类、解析器和序列化器。支持 proto2/proto3、gRPC、JSON 转换及与 Java 代码共存互转，便于项目渐进式迁移。

PureScript 是一种灵感源自 Haskell 并用 Haskell 编写的强类型编程语言。它主要解决 JavaScript 弱类型带来的开发隐患，核心功能是提供富有表现力的静态类型系统，并能直接编译成 JavaScript 代码运行。

scala-cli 是一个用于 Scala 语言的命令行交互工具。它简化了非多模块项目的构建流程，支持直接编译、运行、测试和打包 Scala 代码。从 Scala 3.5.0 起，它已正式成为官方的 `scala` 命令运行器，开箱即用。

〔中文简介暂未生成〕 Your favorite language gets closer to bare metal.

jsoniter-scala 是一个高性能的 Scala JSON 解析与序列化库。它通过 Scala 宏在编译期生成安全且极速的 JSON 编解码器（codecs），避免了运行时的反射开销；同时还提供 circe booster 加速模块，并支持 JVM、Scala.js 及 Scala Native 等多平台。

clash-compiler 将 Haskell 编写的硬件设计编译为可综合的 VHDL、Verilog 或 SystemVerilog。核心功能：强类型推导、交互式 REPL 免测试平台调试、高阶函数参数化设计，及类型安全的多时钟域支持。

〔中文简介暂未生成〕 Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with the newcomers info (https://gitlab.haskell.org/ghc/ghc/wikis/contributing).

kaitai_struct_compiler 是 Kaitai Struct 的官方参考编译器。它解决了不同编程语言中解析二进制格式需重复编写解析代码的问题。核心功能是将用 `.ksy` 声明式语言描述的二进制数据结构，自动编译生成 C++、Java、Python、Go、Rust 等多种目标语言的解析器代码，并提供开箱即用的访问 API。

bsc 是 Bluespec 硬件描述语言的开源编译器与工具链。它解决传统数字硬件设计复杂、易出错的问题，支持 BSV 和 BH 两种语法，能通过强类型系统和“保护原子操作”进行模块化设计，并自动生成标准 Verilog，同时自带仿真器与标准库。

scala3-example-project 是一个基于 sbt 构建的 Scala 3 示例项目。它主要解决开发者快速上手或迁移到 Scala 3 的环境配置问题。核心功能是提供开箱即用的标准配置，支持直接使用 sbt 进行编译、运行、测试及启动交互式 REPL，并附带项目搭建与配置调整指引。