@flyingsheeplp
flyingsheep 暂无简介
rtos powered by rust programming language
cherryecat mirror from github
MLIR for munn
munn(μNN) is a forward computing framework for AI on embedded devices, single-file source code , easy to integrate with RTOS.
一些总结
lambda表达式 CPS 变换
interactive theorem prover for first-order logic
一种简化的类似SLAB的内存分配器,所有算法复杂度O(1),适用于确定性的场景
基于 Monad Transformer 的三阶段编译器, 包含一个简单的栈式虚拟机的实现
scheme解释器