@flyingsheeplp
flyingsheep 暂无简介
lambda表达式 CPS 变换
scheme解释器
基于 Monad Transformer 的三阶段编译器, 包含一个简单的栈式虚拟机的实现
haskell 编写的NES模拟器, 图形引擎采用 SDL , 可跨平台
interactive theorem prover for first-order logic
munn(μNN) is a forward computing framework for AI on embedded devices, single-file source code , easy to integrate with RTOS.
最近一年贡献:183 次
最长连续贡献:19 日
最近连续贡献:2 日
贡献度的统计数据包括代码提交、创建任务 / Pull Request、合并 Pull Request,其中代码提交的次数需本地配置的 git 邮箱是 Gitee 帐号已确认绑定的才会被统计。