Bartosz Milewski 的 '写给程序员的范畴论' 非官方 PDF and LaTeX source 的中文翻译
☆27May 22, 2026Updated 2 months ago
Alternatives and similar repositories for milewski-ctfp-pdf-zh
Users that are interested in milewski-ctfp-pdf-zh are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A technical guide for pairing CJK and Latin fonts☆13Oct 5, 2021Updated 4 years ago
- 说出你在同济的菜鸡故事。☆21Sep 17, 2020Updated 5 years ago
- 一个LaTeX风格的Typora主题☆11Mar 16, 2019Updated 7 years ago
- 阵营⑨宫格生成 Alignment Chart Generator☆36Sep 29, 2025Updated 10 months ago
- Convolutional neural network for playing generals.io☆14Jun 1, 2019Updated 7 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆14Aug 18, 2025Updated 11 months ago
- Pascal Script usage example☆14Mar 27, 2013Updated 13 years ago
- The implementation of <Factual Consistency Evaluation for Text Summarization via Counterfactual Estimation> in PyTorch.☆17Nov 11, 2021Updated 4 years ago
- 《数据库原理与应用》课程复习笔记☆11Jul 3, 2021Updated 5 years ago
- The dataset for the variable-misuse task, used in the ICLR 2020 paper 'Global Relational Models of Source Code' [https://openreview.net/f…☆22Aug 19, 2020Updated 5 years ago
- Adaptive Message Quantization and Parallelization for Distributed Full-graph GNN Training☆24Mar 1, 2024Updated 2 years ago
- learn llvm from scratch☆14Apr 29, 2023Updated 3 years ago
- A MAC (Marker-And-Cell) solver written in Taichi☆10Aug 30, 2022Updated 3 years ago
- spinning 3d donut-ish in Fortran☆12Feb 2, 2024Updated 2 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- compilerbook☆53Apr 25, 2021Updated 5 years ago
- ☆26Dec 16, 2023Updated 2 years ago
- 操作系统内存管理项目☆14Jun 5, 2021Updated 5 years ago
- ☆15Jul 29, 2022Updated 4 years ago
- Let's add some color to the terminal!☆12Jun 20, 2019Updated 7 years ago
- BZOJ题解合集，欢迎提交PR☆13Apr 13, 2018Updated 8 years ago
- 本人在贵系所学课程的作业和复习资料参考☆22Jun 22, 2025Updated last year
- Data-driven Battery Model Identification in LPV Framework using Python☆12May 1, 2026Updated 3 months ago
- ☆11May 27, 2025Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A simple yet powerful wiki/note-taking extension for vscode, https://marketplace.visualstudio.com/items?itemName=billyan2018.tiny-wiki☆20Dec 15, 2022Updated 3 years ago
- MLIR tools and dialect for GraphBLAS☆18Mar 30, 2022Updated 4 years ago
- Convenient Course Query Website☆20Sep 11, 2024Updated last year
- Documentation for TCP Lab☆12May 15, 2026Updated 2 months ago
- ☆20Jun 13, 2020Updated 6 years ago
- A powerful Service For SPA Blog.☆10Jan 7, 2022Updated 4 years ago
- rubikcubegroup魔方定理证明+视频分享。discuss here: https://lean4daydayup.zulipchat.com/join/45reytdk5yv7t7sheywhulw3/☆14Apr 16, 2024Updated 2 years ago
- Watching TeX digest tokens☆28Jan 5, 2024Updated 2 years ago
- Awesome-spatial-temporal-scientific-machine-learning-data-mining-packages. Julia and Python resources on spatial and temporal data mining…☆14Dec 3, 2022Updated 3 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- 很久以前写的……冯诺依曼的四个参数画大象，再加一个参数鼻子还能动☆12Jun 18, 2020Updated 6 years ago
- pkuthesis：信科 2025 年本科生毕业论文 LaTeX 文档类☆21Mar 29, 2026Updated 4 months ago
- ☆12Aug 21, 2020Updated 5 years ago
- ☆14Nov 16, 2022Updated 3 years ago
- 游戏服务器基础框架。☆22Jul 3, 2017Updated 9 years ago
- chen bin's vimrc☆13May 22, 2026Updated 2 months ago
- Exploring Representation-Aligned Latent Space for Better Generation☆19Mar 17, 2026Updated 4 months ago