Wang-Ji20 / milewski-ctfp-pdf-zh-cn-translationLinks
Chinese Translation for Bartosz Milewski's 'Category Theory for Programmers'. 《写给程序员的范畴论》中文翻译 欢迎 PR
☆11Updated 9 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:
- 我从动漫中学习到的知识和人生感悟☆17Updated 4 months ago
- All-in-one mirror utility for SJTUG mirror☆51Updated last year
- Documentation for Router Lab☆67Updated last month
- The cold linker☆71Updated last year
- Write yourself a simply-typed lambda calculus using Rust in a week!☆13Updated last year
- ☆26Updated 2 years ago
- preview your typst document in instant☆28Updated 2 years ago
- 没分支的 rCore-Tutorial☆46Updated 2 years ago
- ☆46Updated last year
- ntype cafe summer school resources☆140Updated last year
- Essential of Compilation☆34Updated 3 years ago
- rcore-os Developer Blog☆46Updated this week
- An awesome language and its compiler.☆33Updated 3 years ago
- 入墨答Rumbda, the Chinese expression of lambda calculus☆64Updated 2 years ago
- History of type theory (Chinese).☆347Updated last month
- The MiniDecaf tutorial documentation.☆97Updated 6 months ago
- 🌈 BlueSense is a long-term project for monitoring Shanghai environment data.☆26Updated 2 years ago
- A cross-platform network learning demos. Like high-performance http server☆25Updated 2 years ago
- OS Summer of Code 2020 每日学习实践记录（rust 学习 & rcore tutorial rust实现一个riscv操作系统 & rCore 到 zCore 的功能迁移）☆85Updated 3 months ago
- [WIP] Tutorial for zCore kernel.☆58Updated 3 years ago
- A C0 compiler for homework | C0 编译器 | 北航软院编译原理大作业☆30Updated 5 years ago
- Some notes or translations about operating system or programming language.☆101Updated 8 months ago
- StarDict in Rust! 使用 离线 / 在线 词典在终端中查单词、背单词！☆36Updated 3 months ago
- DIY Compiler☆45Updated last year
- Learn how to write a minimal working linker from scratch☆106Updated last year
- 编译原理相关的工作岗位收集☆87Updated 6 years ago
- The Chinese translation for Let's Build a Compiler by Jack W. Crenshaw.☆20Updated last year
- 给新员工和实习生的生存指南。 Good Luck and Survive!☆245Updated 4 months ago
- ☆82Updated 4 years ago
- Source-level operating system debugging tool that supports debugging kernel and multiple user processes synchronously. VSCode integration…☆38Updated 3 months ago