Wang-Ji20 / milewski-ctfp-pdf-zh-cn-translationLinks
Chinese Translation for Bartosz Milewski's 'Category Theory for Programmers'. 《写给程序员的范畴论》中文翻译 欢迎 PR
☆12Updated 10 months ago
Alternatives and similar repositories for milewski-ctfp-pdf-zh-cn-translation
Users that are interested in milewski-ctfp-pdf-zh-cn-translation are comparing it to the libraries listed below
Sorting:
- Write yourself a simply-typed lambda calculus using Rust in a week!☆13Updated last year
- A toy C compiler that compatible with C23 and can do limited optimizations☆56Updated 8 months ago
- 没分支的 rCore-Tutorial☆46Updated 2 years ago
- Documentation for Router Lab☆68Updated 2 months ago
- The cold linker☆72Updated last year
- OS Summer of Code 2020 每日学习实践记录（rust 学习 & rcore tutorial rust实现一个riscv操作系统 & rCore 到 zCore 的功能迁移）☆85Updated 4 months ago
- Source-level operating system debugging tool that supports debugging kernel and multiple user processes synchronously. VSCode integration…☆37Updated 4 months ago
- StarDict in Rust! 使用 离线 / 在线 词典在终端中查单词、背单词！☆36Updated 4 months ago
- DIY Compiler☆46Updated last year
- rcore-os Developer Blog☆47Updated 2 weeks ago
- [WIP] Tutorial for zCore kernel.☆58Updated 3 years ago
- LIMITS is yet another fully open source, interoperable, decentralised real-time communication protocol!☆18Updated 2 years ago
- ☆26Updated 2 years ago
- The MiniDecaf tutorial documentation.☆97Updated 8 months ago
- ChocoPy LLVM Repo☆76Updated 2 years ago
- Rainfuck is a brainfuck interpreter and JIT compiler implemented in Rust.☆34Updated 9 years ago
- ntype cafe summer school resources☆141Updated last year
- ☆47Updated last year
- A C0 compiler for homework | C0 编译器 | 北航软院编译原理大作业☆30Updated 5 years ago
- a simple programming language under development☆11Updated last year
- Learn how to write a minimal working linker from scratch☆106Updated last year
- 我，秦始皇，打钱！可以开发票。☆56Updated 9 months ago
- All-in-one mirror utility for SJTUG mirror☆51Updated last year
- 我从动漫中学习到的知识和人生感悟☆17Updated 5 months ago
- Some notes or translations about operating system or programming language.☆101Updated 9 months ago
- SICP Online Judge, consisting of a server, a react web interface and a modified Ok client.☆12Updated 2 years ago
- History of type theory (Chinese).☆349Updated 2 months ago
- Essential of Compilation☆34Updated 3 years ago
- The Chinese translation for Let's Build a Compiler by Jack W. Crenshaw.☆19Updated last year
- Brainfuck JIT 虚拟机教程☆269Updated 2 weeks ago