Skip to content

Commit

Permalink
删除尚未开源代码的 易语言 和 仓颉 语言
Browse files Browse the repository at this point in the history
  • Loading branch information
chai2010 authored Aug 28, 2022
1 parent 209a455 commit c4219c7
Showing 1 changed file with 8 additions and 2 deletions.
10 changes: 8 additions & 2 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,6 @@
|---|---|---|---|
| [凹语言™](https://wa-lang.org) | 开源 | [柴树杉](https://github.com/chai2010)/[丁尔男](https://github.com/3dgen)/[史斌](https://github.com/benshi001) | 披着 Go 语法外衣的 C 语言 |
| [Aya Prover](https://github.com/aya-prover/aya-dev/) | 开源 | [千里冰封](https://github.com/ice1000)| 一种编程语言和证明助手,专为形式化数学和类型导向编程而设计,支持同伦类型论。 |
| [仓颉](https://baike.baidu.com/item/%E4%BB%93%E9%A2%89/58954708) | ?/未发布 | 华为公司 | 面向HarmonyOS的编程语言,为鸿蒙生态基础设施建设补上最后一环。
| [草蟒](https://gitee.com/laowu2019_admin/cpython) | 开源 | 吴胜金 | Python 中文版,支持全中文编程,完全兼容 python 生态
| [Calcit](https://calcit-lang.org/) | 开源 | [题叶](https://github.com/tiye) | 缩进语法的 Clojure 方言,基于 Rust 解释执行,支持编译为 `*.mjs` 使用。 |
| [蝉语](https://github.com/cicada-lang/cicada) | 开源 | [谢宇恒](https://github.com/xieyuheng) | 一门依赖类型编程语言,一个交互式定理证明器。 |
Expand All @@ -21,13 +20,20 @@
| [ReScript](https://rescript-lang.org) | 开源 | 张宏波 | 目前第一个 [国际化运作成功](https://forum.rescript-lang.org/) 的国产编程语言,OCaml 语言实现 |
| [入墨答](https://github.com/ProjectDimlight/RuCalculus) | 开源 | [SOL](https://github.com/ProjectDimlight) | 简单通顺的中文入(λ)演算,可与haskell混编,正在兼容F# |
| [文言](https://wy-lang.org/) | 开源 | 黄令东 | 以文言文书写的编程语言 |
| [易语言](http://www.dywt.com.cn/) | 闭源 | 吴涛等 | 一门以中文作为程序代码编程语言 |
| [粤语](https://github.com/StepfenShawn/Cantonese) | 开源 | [萧伟俊](https://github.com/StepfenShawn) | 以粤语书写的编程语言 |
| [智锐](https://github.com/covscript) | 开源 | [李登淳](https://github.com/mikecovlee) | 一门跨平台的动态类型应用层通用编程语言,在四川大学有较为活跃的学生社区 |
| [ZLOGO](https://github.com/TKT2016/ZLOGO) | 开源 | [TKT2016](https://github.com/TKT2016) | 功能与 LOGO 类似的中文编程语言,后有 [在线版本](https://github.com/program-in-chinese/quan3) |

*注: 使用英文名字的语言后面不再加语言后缀, 比如 Go+*

<!--
| [仓颉](https://baike.baidu.com/item/%E4%BB%93%E9%A2%89/58954708) | ?/未发布 | 华为公司 | 面向HarmonyOS的编程语言,为鸿蒙生态基础设施建设补上最后一环。
| [易语言](http://www.dywt.com.cn/) | 闭源 | 吴涛等 | 一门以中文作为程序代码编程语言 |
-->

----

## 其他类似列表
Expand Down

0 comments on commit c4219c7

Please sign in to comment.