Java消灭星星简单小游戏源码-idris-ecosystem:idris-生态系统

Java消灭星星简单小游戏源码idris-生态系统 Idris 生态系统中最受欢迎的库是什么？ 数字 名称 描述 星星 1 依赖类型函数式编程语言 2213 2 Idris 的 JVM 字节码后端 216 3 Idris 中的软件基础 174 4 使用 Idris 抽象和配置 X11 的 xmonad 169 5 用于 Idris 编译器的 Erlang 后端 161 6 Idris 的解析器组合器 159 7 Idris 测试和演示程序集 138 8 公案是启蒙之路上的小教训。 Idris Koans 项目的目标是在 Idris 中提供一个简单的学习环境。 您的洞察力将通过遇到失败的代码并修复它们以便它们进行类型检查来获得。 129 9 Idris 中的类型安全物理计算和单位转换 :balance_scale: :thermometer: :timer_clock: :battery: :triangular_ruler: 117 10 伊德里斯 2048 110 11 对真的... 108 12 像您一直希望的那样，将 Idris 编译为 Vimscript。 103 13 使用 Idris 实现加密原语 92 14 Idris 的通用中间语言后端。 88 15 Idris 的 Python 后端（生成