编程语言

Clojerl 是构建在 Erlang VM 之上的【实验性】Clojure 实现，目标是结合 Clojure 的功能和理念（如宏、集合、序列、协议、多方法和元数据等），再加上 Erlang V...

Pyro 是 Uber AI 实验室开源的一款深度概率编程语言（PPL），基于 Python 与 PyTorch 之上，专注于变分推理，同时支持可组合推理算法。 Pyro 能够实现灵活而富有表现...

Rust 是 Mozilla 的一个新的编程语言，由web语言的领军人物Brendan Eich（js之父），Dave Herman以及Mozilla公司的Graydon Hoare 合力开发。...

Pike 是一个简单易学的解释性的面向对象动态语言，其语法跟 C 语言比较类似，包括一个强大的模块系统，例如数据库访问，图片处理和高级数据加密等等。 下面是一个用 Pike 编写的 Hello ...

Garfielt Blog是一款基于web.py的轻量级开源博客系统。 可访问 http://blog.iscsky.net 体验功能效果。 开发初衷是定制一款自己使用顺手的博客，个人不喜欢臃肿...

Marsha 是一种基于 LLM的编程语言。用简单的语法描述你想要完成的任务，提供使用示例，Marsha 编译器将指导 LLM 生成经过测试的 Python 软件。 可通过终端或 Jupyter...

Tovie Lang 是一种高级编程语言（编译器 + 解释器 + 转译器）。 它可以实现： 所有算术运算 动态内存分配 通过加载 DLL 或 SO 调用本机函数 字符串管理 Library Sy...

dongbei 是一门以东北方言词汇为基本关键字的以人为本的编程语言。 这玩意儿可是填补了世界方言编程地图上的一大片儿空地啊！ 这么说吧，谁要是看了 dongbei 程序能憋住了不笑，我敬他是纯...

Taichi (太极) 是专为高性能计算机图形学设计的编程语言。 它深深地嵌入在Python中，并且它的即时编译器将计算密集型任务转移到多核CPU和大规模并行GPU上。 Taichi 的高级功能...

J 语言是一种阵列编程语言，属于第五代的函数型语言，也是 APL 语言的继承者。J 语言和 APL 语言原理基本相同，但是它不使用 APL 的象形文字，而使用 ASCII 字符，功能也比 APL...

Byzer 是一门面向 Data 和 AI 的低代码、云原生的开源编程语言。 作为一门结合了声明式编程和命令式编程的混合编程语言，Byzer 低代码且类 SQL 的编程逻辑配合内置算法及插件的加...

tinyriscv实现的是一个微RISC-V处理器核，用verilog语言编写，只求以最简单、最通俗易懂的方式实现RISC-V指令的功能，因此没有特意去对代码做任何的优化。 tinyriscv处...

dongbei-vscode 是东北话编程语言 dongbei 的 VS Code 语法高亮插件。 特性 亮就完事了。

Silq 是用于具有强大静态类型系统的量子计算的高级编程语言。由苏黎世联邦理工学院开发。 特性 更直观的语义 减少和简化代码 防止错误 安全自动计算

Ivory 语言是一门可嵌入的领域专用语言，用于更安全的系统编程。你可以将 Ivory 看作是在 Haskell 中嵌入“受限”的 C 语言。 Ivory 具有以下特性 可嵌入：Ivory 以 ...

Red 编程语言是一门简单易学的编程语言，受到了 REBOL 很大的启发，由于它有本地代码编译器，Red 的应用领域更加广泛——下到系统编程上到高级脚本，同时提供了对现代的多核 CPU 并发编程...

Aya 是一种编程语言和证明助手，专为形式化数学和类型导向编程而设计。 Aya 的类型系统具有类似于 Arend 的同源性 (homotopical) 特征、重叠但汇合的模式匹配以及对定义等式 ...

一款由初中生爱好者开发的树类挂机游戏

河图是一个专为 Flutter 打造的轻量型嵌入式脚本语言。它用纯 Dart 写成，因此可以非常轻易的嵌入 Flutter APP，和你的现有代码交互。开发这个语言的主要目的是为了实现 APP ...

EndBASIC 是具备 REPL 的 BASIC 解释器，并包含一个使用 Rust 编写的 Web 界面。 EndBASIC 的灵感来自 Amstrad 的 Locomotive BASIC ...