#编程语言

Cody是一款先进的AI编程助手，利用深度搜索和代码库上下文，让开发人员更快理解、编写和修复代码。它支持任何编程语言的代码生成，且与主流IDE如VS Code和JetBrains集成，提供丰富的代码上下文。Cody同时支持最新的大型语言模型（LLMs），为编程问题提供即时的AI解答。

「CS-Ebook」提供广泛的计算机科学技术电子书籍，涵盖从计算机基础到专业领域如编程语言、软件工程、数据分析及人工智能。书单定期更新，含多个领域的经典书籍，适合不同阶段的学习需求。

Flyte是一个开源的数据与机器学习工作流编排器，支持在Kubernetes平台上扩展和重复使用。它使用户能够使用Python SDK开发并在多种环境下部署，简化了分布式计算和资源管理。

Flappy是一个面向生产环境的语言模型应用和代理SDK，具有减少学习成本和多语言兼容的设计，简化了AI集成。这个用户友好的库支持各种编程语言，无需专门的Python知识，并且以其高稳定性和成本效益适用于商业用途。它的主要功能包括与环境的交互、数据结构声明和安全的代码解释，能有效应对运行时错误和潜在的安全风险。即便是AI初学者也能轻松使用，帮助AI项目快速落地。

LMQL是一种基于Python的编程语言，专为大语言模型（LLMs）设计。它结合传统编程与LLM调用，实现代码级的LLM互动。LMQL允许在执行过程中实时调用LLM，并通过约束机制控制模型行为。支持多种解码算法和多模型集成，通过丰富的控制流和异步API，提高语言模型应用效率。用户可以通过浏览器内的Playground IDE探索更多示例和文档。

Vox是一种受D语言、Jai和Zig启发的多范式编程语言，拥有快速编译和强大的元编程功能。无需依赖其他库，支持脚本和独立程序的即时（JIT）和预先（AOT）编译。兼容Windows、Linux和macOS，计划扩展到更多平台。Vox致力于应用扩展、提高用户生产力和应用性能，提供静态类型和优质错误信息，具备轻量级运行时、嵌入式编译器和条件编译等特性。

Rust作为一种系统编程语言，在安全性和并发性方面表现突出。它通过独特的类型系统和所有权模型，在编译阶段就能保证内存和线程安全。Rust不仅提供了高性能和可靠性，还配备了完善的文档和工具链，如Cargo、rustfmt和Clippy。这使得Rust成为开发关键服务、嵌入式系统以及跨语言集成项目的理想选择。

DreamBerd是一种创新的编程语言，通过独特的语法和功能重塑了编程范式。它在变量声明、字符串插值、数组索引和文件结构等方面引入了全新概念，为开发者提供了不同以往的编码体验。DreamBerd还支持语义命名、代码反转和富文本等特性，旨在增强代码的表达力和可读性。这种新颖的语言设计为编程带来了新的可能性。

awesome-talks项目汇集了软件开发、函数式编程、Web开发等多个技术领域的优质演讲视频。收录了Alan Kay、Bret Victor等业界大师的经典演讲,涵盖架构设计、测试驱动开发等热门主题。该项目为开发者提供持续学习的高质量资源,有助于拓展技术视野,提升专业水平。内容不断更新,欢迎推荐新的精彩演讲。

Ante是一种创新的低级函数式编程语言，致力于探索细化类型和生命周期推断。它无需垃圾回收，默认不装箱值，同时保持代码高度可读性。Ante提供代数效应、安全可变引用和特征等功能，平衡了底层性能与高级抽象。该语言适合注重性能和表达能力的开发者，目前处于活跃开发阶段。

Wing是一种为云计算环境设计的开源编程语言。它整合了基础设施和应用代码，提供安全统一的编程模型，便于开发分布式云系统。Wing支持本地模拟器执行和多云部署，简化了云开发流程，使开发者能更专注于业务逻辑。

Go是一种开源编程语言，致力于简化软件开发过程，提高代码可靠性和运行效率。开发者可选择官方二进制版本或从源代码安装。作为众多贡献者共同努力的成果，Go项目欢迎社区参与。项目设有专门的问题跟踪系统和讨论平台，用于处理bug报告、提案和语言相关问题。

本文汇集了50个涵盖.NET和C#编程语言的面试问题，适用于评估各级开发者的专业知识。内容涉及CLR、内存管理、异步编程和设计模式等核心概念，同时包括框架特定问题和测试最佳实践。这份全面的面试问题集为C#开发者提供了系统的准备资源。

Rockstar是一种融合了20世纪80年代摇滚歌词风格的动态类型编程语言。它允许开发者创建既是程序又是歌词的代码，旨在挑战'rockstar开发者'这一概念。该项目提供官方实现Satriani，支持多种平台，并拥有丰富的社区贡献，包括语法高亮、在线编译器等工具。Rockstar不仅是一个有趣的编程实验，还引起了媒体广泛关注。

作为一份高密度Rust语言参考资料，cheats.rs为开发者提供了快速识别代码结构、探索语言特性和学习Rust的便捷工具。这个开源项目基于Zola构建，支持在线访问和PDF下载，并欢迎社区成员参与完善。

Hy 是一种嵌入 Python 的 Lisp 方言，通过将 Lisp 代码转换为 Python 抽象语法树，实现了两种语言的融合。该项目支持交互式 REPL 环境和脚本执行，兼容 CPython、PyPy 和 Pyodide 的维护版本。Hy 为开发者提供了结合 Lisp 和 Python 优势的编程环境，适用于希望在 Python 生态系统中使用 Lisp 语法的程序员。

该项目整合了科技行业求职资源，涵盖主流求职平台、远程工作、创业公司职位、特定技术岗位等多个方面。针对不同群体如初级开发者、女性技术人才提供专门资源。同时收录自由职业和各专业领域工作机会，为求职者提供全面的就业信息和渠道选择。

该开源项目汇集了LeetCode、剑指Offer等多个平台的编程题解，支持Java、Python、C++、Go、TypeScript和Rust等主流编程语言。项目内容涵盖基础算法、专项练习和进阶主题，包括二分查找、排序、数据结构、搜索和动态规划等核心算法领域。这一资源库为程序员提供了系统化的算法学习和实践平台，有助于全面提升编程能力。

TypeScript 是微软开发的 JavaScript 超集，为大规模应用开发添加可选类型支持。它可在任何环境中使用，编译为标准 JavaScript，并提供类型检查、代码补全等工具支持。TypeScript 旨在提升开发效率和代码质量，适用于构建复杂的 Web 应用程序。

Gleam是一种为构建可扩展的类型安全系统而设计的编程语言。它结合了强类型系统和简洁语法，有助于开发者创建可靠高效的软件。Gleam支持跨平台开发，拥有活跃的社区。这种语言适用于构建Web应用、后端服务和分布式系统，提供良好的开发体验和运行性能。

Cairo是一个为同名智能合约语言开发的Rust编译器。它支持快速编译、生成Sierra中间代码和编译Starknet合约。项目配套开发工具链完整，包含语言服务器和VSCode插件。作为首个图灵完备的可证明通用计算语言，Cairo致力于推动区块链和去中心化应用的发展。

GitHub-Chinese-Top-Charts是一个聚合中文开源项目的排行榜平台。该平台提供总榜、增速榜和新秀榜三个维度的排名，涵盖软件和资料两大类别。开发者可根据编程语言筛选项目，便于发现感兴趣的优质资源。平台致力于降低语言障碍，促进中文开发者更有效地学习和借鉴优秀开源项目的经验。

MoonScript是一种编译为Lua的高效脚本语言，结合了Lua的性能和丰富的语言特性。支持Lua 5.1及以上版本，兼容LuaJIT。提供在线编译器、Windows预编译版本和多种编辑器支持。项目采用MIT许可，拥有活跃的开发者社区和完善的测试框架。

Pkl是一种创新的配置即代码语言，集成了丰富的验证功能和工具支持。这个开源项目致力于简化配置管理流程，提升开发效率。开发者可通过Pkl官方网站获取安装指南、语言参考和详细文档。Pkl项目重视社区互动，鼓励用户提出问题、反馈意见和代码贡献。目前，Pkl正处于活跃开发阶段，不断更新以适应用户需求。

CPython是Python编程语言的官方实现和解释器，支持多种操作系统平台。它提供了丰富的标准库、完善的文档和活跃的社区支持。最新版本3.14.0 alpha 0引入了新特性和性能优化，支持高级编译技术如Profile Guided Optimization和Link Time Optimization。CPython为开发者提供了强大、灵活的Python开发环境。

software-papers项目收录了软件工程和计算机科学领域的经典论文,涵盖早期编程、软件设计、数据结构、算法、函数式编程、编译器、操作系统、数据库和网络等多个方向。这份精选列表为学习者和从业者提供了解该领域历史发展的重要参考资料。

awesome-stars 是一个自动生成的 GitHub 项目收藏列表。该工具利用 starred 自动整理和分类用户在 GitHub 上标星的项目，涵盖编程语言、开发工具等多个领域。它为开发者提供了一种高效的方式来管理和展示感兴趣的开源项目，便于发现和分享优质资源。

Amber是一种编译为Bash的高级编程语言，旨在简化shell脚本创建。支持Linux和macOS多架构，适用于云服务开发。该语言具有直观语法，可自动美化输出代码，并提供系统级和用户级安装选项。项目目前处于开发阶段，开发者可通过Discord或IRC参与讨论。

Lean 4是一种创新的开源编程语言，集定理证明和函数式编程于一体。它提供完善的学习资源，包括快速入门指南、详细教程和丰富文档。Lean 4的特点在于强大的类型系统和自动化推理能力，广泛应用于形式化数学和软件验证领域。项目支持社区贡献，并提供构建指南和常见问题解答，便于开发者学习和应用。

《The Rust Programming Language》是Rust编程语言的官方教程书籍，提供从基础到高级的全面学习资源。读者可免费在线阅读最新版本或购买实体书。该开源项目接受社区贡献，包括错误修正和多语言翻译。内容与Rust版本同步更新，确保反映最新语言特性和最佳实践。

leetcode-hard-gym是一个基于OpenAI gym的强化学习环境，连接LeetCode提交服务器，用于评估代码生成智能体。该项目支持多种编程语言，并提供脚本构建未污染的LeetCode困难题目数据集。研究人员可以通过此环境设置、提交代码并获取评估结果，为代码生成研究提供便利工具。项目还包含一个排行榜，展示了不同AI模型在LeetCode困难题目上的表现，如GPT-4和Codex等。环境支持包括Python、Java、JavaScript在内的18种编程语言，为研究人员提供了广泛的评估选择。

该开源项目为编程爱好者提供多种编程语言的快速入门指南。项目每周聚焦一种语言，涵盖语言简介、环境配置和基本语法等核心内容。涉及Dart、Python、Swift等主流语言，通过视频教学与代码实践相结合，帮助学习者高效掌握各种编程语言的基础知识。

lsp-mode 为 Emacs 提供 Language Server Protocol 支持，实现多种编程语言的智能功能。它包括实时诊断、代码补全、悬停提示等特性，性能出色且配置灵活。lsp-mode 可与 company、flycheck 等流行插件集成，打造全功能 IDE 或极简开发环境，为 Emacs 用户带来接近原生 IDE 的编程体验。

Github-Ranking是一个自动更新的GitHub开源项目排行榜，根据星标和复刻数量对项目进行排序。涵盖JavaScript、Python、Java等多种编程语言，定期更新数据。该排行榜帮助用户快速了解各领域热门开源项目，发现优质资源，把握技术趋势。开发者和技术爱好者可以利用此工具发现和学习最新的开源项目。

Google开源的代码风格指南集合，涵盖Angular、C++、Java、Python等多种编程语言。提供统一的代码编写规范，有助于提高大型项目的代码一致性和可读性。项目采用CC-By 3.0许可，可自由分享使用。包含cpplint等辅助工具，但不接受外部贡献。

Mojo是一种全新的编程语言，融合了Python的语法和生态系统，具备系统编程和元编程特性，旨在缩短研究与生产的差距。项目包含示例代码、文档和标准库，提供稳定版和每夜版供选择。通过安装MAX SDK或Mojo SDK，用户可以开始编写Mojo程序，并参与项目贡献和讨论。