Bartosz Milewski 的 '写给程序员的范畴论' 非官方 PDF and LaTeX source 的中文翻译
☆27May 22, 2026Updated 4 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:
- Praat scripting入门☆15Apr 8, 2025Updated last year
- Yet Yet Another Compiler Compiler | 一个编译器前端框架☆17Mar 26, 2026Updated 5 months ago
- 2023 XFlops Training☆13Jan 23, 2024Updated 2 years ago
- 说出你在同济的菜鸡故事。☆21Sep 17, 2020Updated 6 years ago
- 一个LaTeX风格的Typora主题☆11Mar 16, 2019Updated 7 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Atom One Dark & One Light themes ported for VS Code.☆13Mar 14, 2026Updated 6 months ago
- 阵营⑨宫格生成 Alignment Chart Generator☆36Sep 29, 2025Updated 11 months ago
- Convolutional neural network for playing generals.io☆14Jun 1, 2019Updated 7 years ago
- Toy programming language to ARM Assembly compiler written for CS4212 Compiler Design☆10Dec 5, 2018Updated 7 years ago
- Pascal Script usage example☆15Mar 27, 2013Updated 13 years ago
- ☆10Apr 16, 2024Updated 2 years ago
- ☆21Sep 4, 2024Updated 2 years ago
- Learning about Lua syntax.☆13May 19, 2023Updated 3 years ago
- learn llvm from scratch☆14Apr 29, 2023Updated 3 years ago
- 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.
- ☆17Mar 17, 2026Updated 6 months ago
- A sample playground for (re)learning Android.☆13Nov 15, 2023Updated 2 years ago
- 操作系统内存管理项目☆14Jun 5, 2021Updated 5 years ago
- A collection of WebGL 2.0 examples for undergraduate computer graphics courses.☆20May 16, 2024Updated 2 years ago
- Let's add some color to the terminal!☆12Jun 20, 2019Updated 7 years ago
- LaTeX-style mathematical symbols input method for macOS☆22Nov 23, 2023Updated 2 years ago
- "One Poem Suffices" Blog Series about LLM / Agentic System☆21Sep 17, 2026Updated last week
- BZOJ题解合集，欢迎提交PR☆13Apr 13, 2018Updated 8 years ago
- HBT+ subhalo finder and merger tree builder, the tool to get you out of mess and back to physics.☆26Apr 2, 2026Updated 5 months ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Data-driven Battery Model Identification in LPV Framework using Python☆12May 1, 2026Updated 4 months ago
- Tongji Apple Club members' internal tutorial materials☆18Nov 8, 2016Updated 9 years ago
- ☆11May 27, 2025Updated last year
- MLIR tools and dialect for GraphBLAS☆18Mar 30, 2022Updated 4 years ago
- Download wallpapers from http://wallpaperscraft.com/☆11Feb 10, 2023Updated 3 years ago
- Just provide a macro for a certain programming language.☆14Dec 7, 2023Updated 2 years ago
- Convenient Course Query Website☆20Sep 11, 2024Updated 2 years ago
- Documentation for TCP Lab☆12May 15, 2026Updated 4 months ago
- ☆22Jul 18, 2024Updated 2 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Implemented some commands in LaTeX physics package for KaTeX☆10Dec 7, 2022Updated 3 years ago
- A powerful Service For SPA Blog.☆10Jan 7, 2022Updated 4 years ago
- archives for Tongji CTF 2017☆10Oct 25, 2023Updated 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
- 很久以前写的……冯诺依曼的四个参数画大象，再加一个参数鼻子还能动☆12Jun 18, 2020Updated 6 years ago
- An extension of Fourier Neural Operator to finite-dimensional input and/or output spaces.☆19Oct 13, 2025Updated 11 months ago
- About code release of "Geometry-Aware Operator Transformer: A Generalizable Framework for PDE Solution Operators"☆28Dec 8, 2025Updated 9 months ago