用户名 omelkonian
Date joined 最新发布时间: 2024-04-27 17:35:23
追踪了 369 行代码问题, 提交到 49 个开源模块包中。
MSc student in Computing Science @ Utrecht University. Interests: Programming Languages, FP, Type Theory, Category Theory, Formal Verification
欢迎加入QQ群-->: 979659372
Python包作者omelkonian的GitHub仓库网址
Libraries用户名: Orestis Melkonian
Libraries库的地址
所在公司:Utrecht University
目前所在地:Utrecht, Netherlands
最新版本发布日期:Jan 20, 2018
使用young tableaux和组合蜘蛛网的dyck单词可视化工具。 项目维护者: omelkonian |
最新版本发布日期:Jan 21, 2018
多维动力语言的元语法实用性 项目维护者: omelkonian |