Wang-Ji20 / milewski-ctfp-pdf-zh-cn-translationView external linksLinks
Chinese Translation for Bartosz Milewski's 'Category Theory for Programmers'. 《写给程序员的范畴论》中文翻译 欢迎 PR
☆12Oct 4, 2024Updated last year
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:
- 锦书 [WIP]☆14Mar 26, 2022Updated 3 years ago
- A mod that adds a bit of functionality and a bit of performance into thaumcraft 4.☆12Jan 10, 2026Updated last month
- Scroll smoothly☆12Feb 8, 2026Updated last week
- A Claude Code Plugin that enables seamless integration with Codex AI Agent for code analysis, implementation, and collaboration tasks.☆22Jan 20, 2026Updated 3 weeks ago
- ☆10May 20, 2021Updated 4 years ago
- GoodERP，一切从简，按需就繁，OCC，Odoo Chinese Community，服务于小型制造企业。(GoodERP，as simple as possible，as complex as needed，for small-sized manufacture en…☆10Oct 20, 2019Updated 6 years ago
- 基础库(typescript)☆10Apr 17, 2023Updated 2 years ago
- Learning Rust by creating 50 small projects☆16Jul 13, 2022Updated 3 years ago
- ☆12Mar 10, 2024Updated last year
- 基于 RICQ 的轻量级 Python QQ 自动化框架。☆38Oct 18, 2023Updated 2 years ago
- （开发暂停）基于 ricq 包装，供 Python 使用的 QQ 无头客户端。☆36Feb 15, 2025Updated last year
- 文本挖掘和社会网络分析☆10Jun 20, 2022Updated 3 years ago
- 一款基于 Material Design Icons 设计的适用于 Minecraft 的 16x 像素图标资产库☆22Jul 14, 2025Updated 7 months ago
- This is the repository to the article "NEWBEE: A Multi-Modal Gait Database of Natural Everyday-Walk in an Urban Environment", 2022☆11Aug 2, 2022Updated 3 years ago
- Detect and remove unused dependencies for Python projects☆18Apr 5, 2025Updated 10 months ago
- QQ ChatBot with ChatGPT api, implement in Rust☆11Jul 11, 2024Updated last year
- BadgerTrap is a tool to instrument x86-64 TLB misses.☆11Nov 13, 2016Updated 9 years ago
- ☆11Nov 28, 2021Updated 4 years ago
- Cachebench, with hacks to make it run on SmartOS / x86.☆12Feb 15, 2012Updated 14 years ago
- ☆10Feb 26, 2022Updated 3 years ago
- Chromium 喜报☆24Oct 24, 2025Updated 3 months ago
- 基于数传电台的无人机编队通信软件☆15Mar 8, 2023Updated 2 years ago
- Speech to Text for Android using Jetpack Compose☆11Apr 10, 2023Updated 2 years ago
- Just a Haskell wrapper for OpenAI API calls☆11Mar 2, 2023Updated 2 years ago
- Rust crate for obfuscating string literals.☆12Feb 2, 2023Updated 3 years ago
- 这是一款用C#编写的PLC上位机专用开源框架，是花卷猫框架C#子集的子集，我将逐步向其中添加各种图形和通讯服务接口，大大提高这一块从业人员的工作效率和产品质量，目标是最终拥有几百上千个成熟的组件☆12Jan 12, 2023Updated 3 years ago
- 德科物联二代证/身份证云解码源码。使用安卓手机NFC读取完整的身份证明文信息，包括身份证号、姓名、名族、性别、住址、头像、出生日期、有效期等信息。☆11Dec 8, 2022Updated 3 years ago
- The totorials of Minecraft Neoforge1.20.4 , Arkdust mod and even more☆13Nov 26, 2025Updated 2 months ago
- A Wire-alike library that can be used as a drop-in for the Wire library☆12Dec 4, 2025Updated 2 months ago
- 通用Bootloader上位机，通过修改底层驱动支持不同硬件☆13Dec 4, 2023Updated 2 years ago
- ASCII Tree Manipulator☆18Aug 18, 2025Updated 6 months ago
- ✨ TUI是一套精简的可视化GUI系统，通过C语言编写的跨平台嵌入式GUI，目前支持WINDOWS、MELIS平台，后续还会支持更多芯片平台。该工程是对TUI API接口和工具的使用教程。☆14Sep 28, 2023Updated 2 years ago
- AMD Software Development Kit 2.5 Sources☆10Feb 29, 2016Updated 9 years ago
- A Blockbench Plugins Designed For Touhou Little Maid Mod☆12Mar 31, 2025Updated 10 months ago
- A parser lib that can help your routing rules more readable and understandable for users.☆10Feb 19, 2022Updated 3 years ago
- ☆10Oct 5, 2016Updated 9 years ago
- 手持设备环境的搭建及程序开发，如手持终端设备、PDA手持终端、条码数据采集器等设备☆11Oct 20, 2016Updated 9 years ago
- A statically typed version of pest.☆12Dec 2, 2025Updated 2 months ago
- This is a minimal forum/qa web app.☆11Oct 10, 2025Updated 4 months ago