Chinese Translation for Bartosz Milewski's 'Category Theory for Programmers'. 《写给程序员的范畴论》中文翻译 欢迎 PR
☆13Oct 4, 2024Updated 2 years 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- The simplest implementation of Dependent Pattern Matching and Indexed Inductive Types.☆14Apr 11, 2026Updated 6 months ago
- An experiment control system for reproducible research☆16Mar 5, 2024Updated 2 years ago
- Ebuilds from vowstar's git☆23Updated this week
- A Blazing fast, secure and modern password manager written in Rust with both GUI and CLI interfaces, featuring AES-256-GCM encryption and…☆16Mar 7, 2026Updated 8 months ago
- 一个基于内存的分布式计算框架。☆10Apr 13, 2016Updated 10 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.
- 提供气象诊断分析程序，包括动力, 热力, 水汽和天气特征分析等。☆17Jul 17, 2020Updated 6 years ago
- Modified Mälardalen WCET benchmarks, annoted with instruction timing☆10Jun 12, 2019Updated 7 years ago
- The Rustonomicon(中文翻译)☆13May 30, 2021Updated 5 years ago
- [Archived - See https://github.com/rustsbi/rustsbi/] RustSBI prototyper☆12Feb 16, 2025Updated last year
- GoodERP，一切从简，按需就繁，OCC，Odoo Chinese Community，服务于小型制造企业。(GoodERP，as simple as possible，as complex as needed，for small-sized manufacture en…☆10Oct 20, 2019Updated 7 years ago
- (elastic) cuckoo hashing☆17Jun 20, 2020Updated 6 years ago
- BadgerTrap is a tool to instrument x86-64 TLB misses.☆14Nov 13, 2016Updated 9 years ago
- 这是一个帮助业余无线电技术能力认证考试的软件，用来背题。☆30Oct 20, 2017Updated 9 years ago
- A Haskell binding to the wiringPi library, for using GPIO on the Raspberry Pi.☆16Jan 8, 2020Updated 6 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- [MIRROR] Gentoo Ebuild, Eclass, GLEP, ChangeLog and Portage Files syntax highlighting, filetype and indent settings for Vim☆31Oct 3, 2026Updated last month
- Python模拟SCADA工业控制系统和Modbus协议通信，并对PLC进行漏洞分析和安全检测☆14Mar 23, 2020Updated 6 years ago
- Artifact for Direct Memory Translation for Virtualized Clouds [ASPLOS '24]☆15Feb 20, 2024Updated 2 years ago
- 用户行为分析系统☆12Dec 10, 2015Updated 10 years ago
- ☆22Feb 13, 2024Updated 2 years ago
- 根据参考字符串，和结果逆向，推算出算法。☆21May 30, 2023Updated 3 years ago
- ☆15Mar 12, 2026Updated 7 months ago
- 基于网络舆情的高校学生社会心理态势感知系统☆10Dec 8, 2022Updated 3 years ago
- ✨ TUI是一套精简的可视化GUI系统，通过C语言编写的跨平台嵌入式GUI，目前支持WINDOWS、MELIS平台，后续还会支持更多芯片平台。该工程是对TUI API接口和工具的使用教程。☆16Sep 28, 2023Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- 军事新闻数据爬取☆13Jan 23, 2019Updated 7 years ago
- An Malody to TaikoJiro taiko chart converter implemented with JavaScript☆10Aug 4, 2023Updated 3 years ago
- 面向汉字盲打爱好者的魔改版虎码输入方案（虎码新手请勿使用）☆19Jan 20, 2024Updated 2 years ago
- 一款基于PikaPython的开源的软PLC和可编程运动控制器☆18Feb 4, 2024Updated 2 years ago
- C# 开发的串口上位机☆17Jun 24, 2022Updated 4 years ago
- Use Lua to develop JUCE applications conveniently.☆10Nov 11, 2023Updated 2 years ago
- 《计算传播学导论》电子书☆13Mar 20, 2015Updated 11 years ago
- sparkStreaming项目，1.日志分析系统 2. 舆情管控系统之实时词频统计处理子系统（包括中文分词服务器）3. 网站用户行为统计系统（ 只统计用户行为，建模预测后期实现） 4. 网站安全实时监控报警系统。☆14Jul 1, 2022Updated 4 years ago
- A set of synthetic benchmarks used in IEEE RTAS 2016 paper by Prathap et al.,☆20Sep 21, 2026Updated last month
- 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.
- 黑客画像构建以及威胁事件的预测，通过搜集各大黑客技术论坛的聊天记录，绘制任务的拓扑图，以及技能雷达图。同时进一步预测监控攻击事件的发生以及溯源☆21Mar 1, 2019Updated 7 years ago
- 2023年华中科技大学毕业设计 - 基于溯源图的APT攻击检测方法优化☆21Jun 11, 2023Updated 3 years ago
- 中文分词工具 jieba-rs Binding of Python☆15Oct 8, 2026Updated 3 weeks ago
- Prototype of version control sytem for REAPER☆14Jun 1, 2024Updated 2 years ago
- 利用复杂网络分析，分析比特币交易网络特征。用常见机器学习预测滥用地址。大体方向和反洗钱有关☆17Mar 31, 2021Updated 5 years ago
- auto switch IME for neovim. 如何在 Vim 中方便的输入汉字（CJKV characters）☆20Oct 30, 2026Updated last week
- 本仓库收录了我的毕业论文所使用的全部代码。 毕业论文题目《年报文本语气能预示股价崩盘风险吗？——基于 A 股上市公司年报的文本挖掘》。已被本科生毕业论文相关文献库收录，因此您可以查阅论文的正文。☆17Aug 12, 2021Updated 5 years ago