首页

项目

Covariant Script 编程语言

Covariant Script 编程语言是我们开发的一款跨平台的开源脚本语言,其代码寄存在 Covariant Script Github主页

Covariant Script 编程语言的语法十分简单,您可能只需几天的时间即可熟练上手使用。与此同时 Covariant Script 还提供了齐全强大的标准库,您只需一份代码即可在主流平台间自由穿梭。Covariant Script 提供的 CNI(C/C++ Native Interface)能够使 Covariant Script 与更多第三方库无缝对接,而不是局限于标准库。

Covariant Script 为初学者提供了一个十分友好的入门环境,同时 Covariant Script 也可以用于黏合您的程序与模块。由于 Covariant Script 使用标准 C++ 编写,移植工作也将变得相对简单,而且在目标机器上运行时无需庞大的运行时环境,比较适合在嵌入式环境中运行。Covariant Script 的性能足够日常使用,在某些平台上比 Python 更高,但在另外一些平台上却不如 Python,具体原因仍在探索中。

更多信息请造访 Covariant Script主页

愚公计划 (The YuGong Project)

愚公计划是智锐科创有史以来最宏大的愿景,我们希望通过一个跨平台的开发框架提供统一的开发体验,让您的应用程序无需多次开发即可在任意平台上流畅运行,甚至是在智锐科创未来要开发的新硬件平台上。愚公计划目前还是概念项目,我们准备在未来 5 到 10 年内实现这些宏伟想法并将其商业化。

NeoTerm

NeoTerm 旨在开发一个对国人更友好的 Termux 前端。并在此基础上,提供完善的 X 支持,努力将 X Window 与 Android UI 无缝衔接。

成员

Michael Lee:主席、四川大学分会会长

Michael 是一个有野心的年轻人,至今已有 8 年的硬件检修、DIY 经验,6 年的 C++ 编码经验和 4 年的 C++ 教学经验。Michael 在高中时期设计并实现了 Covariant Script 编程语言,并凭此在 2018 年中旬入选四川大学吴玉章学院双特生培养计划,现就读于四川大学计算机学院。

Kiva Zen:副主席、西南交大分会会长

Kiva 是一个非常有才华的年轻人。Kiva 与 Michael 在中国的一个互联网社区中相识,是 Michael 在工作中最得意的伙伴。Kiva 的 Java 水平无出其右,至今已有至少 6 年的 Java 开发经验。他自己或合作开发过多个项目,拥有强大的项目组织能力。他帮助 Michael 完成许多 Linux 上的工作。

Kiva的博客

Tesla Ice Zhang:技术顾问、PLT研究学者

Tesla 是一个十分谦逊的年轻人,以至于刚接触他时你会感到不适。Tesla 与 Michael 在中国的一个互联网问答社区中相识。Tesla 在各个方面皆有所长,尤其是 PLT (dependent types) 和编译原理。Tesla 不仅在理论上非常有建树,在工程上也毫不含糊,能够熟练掌握数十门编程语言。

Tesla的博客