跳到主要内容
buildradar
Sign in
主题 · programming-language

programming-language

标记 programming-language 主题、收录中的开源项目，按星标数排序。

共 191 个项目
  • FStar↗@FStarLang

    面向证明的程序语言

    ★ 3,103+3近 7 天星标变化
  • jakt↗@SerenityOS

    Jakt 编程语言

    ★ 2,988-1近 7 天星标变化
  • ispc↗@ispc

    Intel® 隐式 SPMD 程序编译器

    ★ 2,950+5近 7 天星标变化
  • agda↗@agda

    Agda 是一种依赖型编程语言 / 交互式定理证明器

    ★ 2,922+1近 7 天星标变化
  • erg↗@erg-lang

    与 Python 兼容的静态类型语言

    ★ 2,859-1近 7 天星标变化
  • Beef↗@beefytech

    Beef 编程语言

    ★ 2,846+0近 7 天星标变化
  • Computer-Science-Resources↗@the-akira

    涵盖计算机科学关键领域的资源集合

    ★ 2,809+2近 7 天星标变化
  • awesome-tensor-compilers↗@merrymercy

    张量运算与深度学习的优秀编译器项目及论文列表

    ★ 2,776+3近 7 天星标变化
  • flix↗@flix

    Flix 编程语言

    ★ 2,734+0近 7 天星标变化
  • zig-book↗@pedropark99

    一本开放、具技术性且适合入门的 Zig 编程语言书籍 📚📖

    ★ 2,687+5近 7 天星标变化
  • numbat↗@sharkdp

    用于科学计算的静态类型编程语言，原生支援物理维度与单位

    ★ 2,675+6近 7 天星标变化
  • steel↗@mattwparas

    一个用 Rust 写的嵌入式 Scheme 解释器

    ★ 2,564+18近 7 天星标变化
  • ACM-ICPC-Preparation↗@BedirT

    ACM-ICPC 准备指南

    ★ 2,500+4近 7 天星标变化
  • CS-Ebook↗@lining808

    一个高质量、经典计算机书籍推荐清单，特点为：只收集高质量，各方向经典书籍，不求书多，只求书精。

    ★ 2,443+1近 7 天星标变化
  • nelua-lang↗@edubart

    极简、高效、具静态类型且支持元编程的系统编程语言，深受 Lua 启发，可编译为 C 与原生代码。

    ★ 2,416+1近 7 天星标变化
  • kcl↗@kcl-lang

    KCL 编程语言核心与 API（CNCF 沙箱项目）。https://kcl-lang.io

    ★ 2,408+4近 7 天星标变化
  • moonbit-docs↗@moonbitlang

    MoonBit 编程语言的文档

    ★ 2,400+8近 7 天星标变化
  • CreepyCodeCollection↗@MinhasKamal

    恶心代码的无意义集合

    ★ 2,400-1近 7 天星标变化
  • catala↗@CatalaLang

    用于文学编程法律规范的编程语言

    ★ 2,373+4近 7 天星标变化
  • rune↗@rune-rs

    一个适用于 Rust 的可嵌入动态编程语言。

    ★ 2,317+5近 7 天星标变化
  • nature↗@nature-lang

    Nature 编程语言

    ★ 2,254+0近 7 天星标变化
  • dark↗@darklang

    Darklang 主仓库，包含语言、后端与基础设施

    ★ 2,169+0近 7 天星标变化
  • awesome-games-of-coding↗@michelpereira

    精选的游戏清单，教你如何学习编程语言。

    ★ 2,149+1近 7 天星标变化
  • pocketpy↗@pocketpy

    以现代 C 语言实现的游戏脚本用可移植 Python 3.x 解释器

    ★ 2,113+3近 7 天星标变化
  • umka-lang↗@vtereshkov

    Umka：静态类型嵌入式脚本语言

    ★ 2,098+7近 7 天星标变化
  • command-line-rust↗@kyclark

    命令行 Rust 代码（O'Reilly, 2024, ISBN 9781098109417）

    ★ 2,025+0近 7 天星标变化
  • chapel↗@chapel-lang

    具生产力的并行编程语言

    ★ 2,020+3近 7 天星标变化
  • Vale↗@ValeLang

    Vale 编程语言的编译器 - http://vale.dev/

    ★ 2,008+0近 7 天星标变化
  • fut↗@fusionlanguage

    Fusion 编程语言。可转译为 C、C++、C#、D、Java、JavaScript、Python、Swift、TypeScript 与 OpenCL C。

    ★ 1,927+0近 7 天星标变化
  • lamdu↗@lamdu

    lamdu - 迈向新一代 IDE

    ★ 1,899+0近 7 天星标变化
← 返回主题列表