完善语言信息，只收开源

[chai2010]

• 只收开源，并你能跑通例子
• 单独页面提供简介、例子、公司/个人、解释/编译、其他分类

[hax]

只收开源的话，像 易语言 这样的都不能列进去，感觉上还是应该都收录，是否开源作为一个子项。

[chai2010]

如果有影响力或知名度的，比如易语言可以补充说明下，其他闭源语言信息太少就不收了。
（闭源软件也不适合在github这种平台传播）

[tiye]

FP 社区有俩搞 prover 的语言, 有没有人使用就不知道,
https://github.com/aya-prover/aya-dev/ 作者: 千里冰封等
https://github.com/cicada-lang/cicada 作者: 谢宇恒

[chai2010]

FP 社区有俩搞 prover 的语言, 有没有人使用就不知道, https://github.com/aya-prover/aya-dev/ 作者: 千里冰封等 https://github.com/cicada-lang/cicada 作者: 谢宇恒

有没有人使用可以补充说明，不影响收录的。
欢迎提下 PR

[hax]

@tiye 把自己设计的《九章编程》语言给删了，问题来了，「玩具语言」到底要不要列？怎么判断一个语言是玩具语言（除了像@tiye 一样作者自己说自己就是个玩具语言。。。），学术性的、试验性的语言是不是玩具语言？这个界限很多时候很难判断。

我个人希望本仓库能尽量多的收集各种国产语言，而不管它是不是「玩具」。但也许应该单独列出那些以实际生产为目标而设计的语言。

[hax]

另一个玩具语言的例子：@doodlewind 的 https://ewind.us/h5/ove-lang/demo/

[nobodxbodon]

个人仅在维护 木兰重现项目，与原作者团队无联系。渊源请见首页前言部分。

[mikecovlee]

关于CovScript：https://github.com/covscript
中文名可以叫智锐编程语言，目前川大的老师们都这么叫
CovScript是基于Apache 2.0开源的，虽叫Script但也不完全是脚本语言
CovScript是一门应用层通用编程语言，目前在数据挖掘、数据预处理等方面有一些应用，社区主要活跃成员都是四川大学在读学生（本科/研究生）

[kingtu]

逍遥言——符合中文表达习惯的以中文为主要表达语言的高级计算机编程语言。无空格设计。
https://gitee.com/PhoenixERP/Xiaoyaoyou

[chai2010]

c4219c7 删除尚未开源代码的 易语言 和 仓颉 语言

[hax]

既然删除非开源项目，那开源那一栏就没用了。

还是感觉可以单独有个页面收录非开源的项目。毕竟易语言也是有wikipedia页面的。。。

[chai2010]

reXscript
woolang
CovScript