搜索结果：programming（58 个）
按分类缩小范围
plandex
综合 72
开源 AI 编程智能体，专为大型项目和复杂真实任务设计。
awesome-cheatsheets
综合 70
涵盖主流编程语言、框架与开发工具的速查表合集，一页查阅核心知识点。
rete
综合 68
用于可视化节点编程的 JavaScript 框架，方便搭建流式交互界面。
bend
综合 68
Bend 2：通过证明拦截 AI 错误的高速语言。安装：curl -fsSL https://bend-lang.com/install.sh | sh
codon
综合 67
高性能、零开销、可扩展的 Python 编译器，内置 NumPy 支持。
pkl
综合 65
Apple 开源的“配置即代码”语言，具备丰富的数据校验机制与工具链。
Nuitka
综合 65
用 Python 编写的 Python 编译器，兼容多版本，可将代码编译为独立可执行文件或扩展模块。
PySimpleGUI
综合 65
直观易用的 Python GUI 库，简化 tkinter/Qt/WxPython/Remi，V6 版采用 LGPL3。
aider
综合 64
直接运行在终端里的 AI 结对编程助手。
blockly
综合 63
基于 Web 的可视化图形编程编辑器。
julia
综合 62
Julia 是专为技术计算打造的高级、高性能动态编程语言。它旨在解决科学计算和数值分析中兼顾易用性与极致运行速度的需求，提供交互式命令行（REPL）及丰富的包生态，广泛应用于高性能计算、机器学习与科学研究等领域。
gleam
综合 62
一门用于构建类型安全、高可扩展性系统的友好函数式编程语言。
aws-doc-sdk-examples
综合 62
收录 AWS 官方文档及 SDK 开发者指南配套代码示例的仓库。
zio
综合 62
〔中文简介暂未生成〕 ZIO — A type-safe, composable library for async and concurrent programming in Scala
scalachess
综合 61
scalachess 是知名国际象棋网站 lichess.org 背后的核心国际象棋逻辑库。基于 Scala 3 开发，它利用位棋盘（bitboard）数据结构，以纯函数式、完全不可变且无副作用的方式处理国际象棋规则与走法验证，为开发者提供高性能、可靠的棋局核心逻辑支持。
android-oss
综合 61
〔中文简介暂未生成〕 Kickstarter for Android. Bring new ideas to life, anywhere.
scalafix
综合 61
Scalafix 是面向 Scala 的代码重构与静态检查（Linting）工具。它主要解决 Scala 项目中的代码规范检查和自动化代码重写问题，核心功能包括对代码进行静态分析检查，以及自动执行代码重构和重写（支持 Dotty、sbt 等生态），帮助开发者提升代码质量并简化升级迁移。
v
综合 61
简单、快速且安全的编译型语言，零依赖自编译小于 1 秒，支持将 C 自动转为 V。
futhark
综合 60
Futhark 是由哥本哈根大学开发的数据并行纯函数式编程语言，属于 ML 语言家族。它主要解决高性能并行计算的编写难题，核心功能是将函数式代码编译为可在 CPU 或 GPU（支持 CUDA、OpenCL）上运行的高效并行程序，适用于实用级高性能计算场景。
agda
综合 60
〔中文简介暂未生成〕 Agda is a dependently typed programming language / interactive theorem prover.