Bartosz Milewski's 'Category Theory for Programmers' unofficial markdown source
☆82Mar 15, 2026Updated this week
Alternatives and similar repositories for milewski-ctfp-markdown
Users that are interested in milewski-ctfp-markdown are comparing it to the libraries listed below
Sorting:
- Lisp方言ずら〜。え！？ これを使えばQuasiQuotesでコンパイル時Lispが書けるずら！？☆17Dec 31, 2018Updated 7 years ago
- Experiment management and benchmark tools for mathematical optimization.☆11Nov 3, 2025Updated 4 months ago
- Using Luxor.jl to design common diagrams found in Category Theory 🐱☆13Mar 26, 2022Updated 3 years ago
- Google検索を邪魔する技術系スパムサイトのフィルタ☆23May 29, 2022Updated 3 years ago
- ☆19Dec 26, 2025Updated 2 months ago
- ☆21Jan 8, 2023Updated 3 years ago
- Open standard for mathematical programming interoperability☆47Mar 12, 2026Updated last week
- ☆29Nov 23, 2019Updated 6 years ago
- ZennとQiitaの記事を管理するツール☆11Jun 6, 2024Updated last year
- 【非公式】 AtCoder 上の問題について、取組み状況を記録していくサイトです。各問題が細かく難易度付けされており、必要な知識を段階的に習得できます。☆64Updated this week
- Applied category theory applied to epidemiological models☆12Aug 7, 2024Updated last year
- TeX files for summary of category theory☆15Apr 9, 2016Updated 9 years ago
- Category Theory in Agda☆13Jan 16, 2018Updated 8 years ago
- ☆12Dec 11, 2024Updated last year
- An ESLint plugin that makes your TypeScript code safer☆22Dec 12, 2025Updated 3 months ago
- Formalization of category theory in Agda☆17Feb 20, 2023Updated 3 years ago
- Jeff is a structured, extensible, and simple interchange format for quantum compilers. Designed to foster collaboration and accelerate re…☆50Feb 24, 2026Updated 3 weeks ago
- Category Theory for Quantum Natural Language Processing☆11Feb 22, 2023Updated 3 years ago
- ☆27Nov 4, 2024Updated last year
- ☆34Mar 10, 2026Updated last week
- My own Rust implementation of Mal (Make a Lisp)☆14Jul 25, 2019Updated 6 years ago
- Translation commands of Neovim using DeepL API☆13Sep 9, 2023Updated 2 years ago
- Typst で日本語論文を書くときのテンプレート☆162Jan 22, 2026Updated last month
- This python module implements a function 'findStandard' that takes an OpenCV RGB image and outputs a projection of a Macbeth 6x4 color ch…☆13Jul 12, 2014Updated 11 years ago
- セキュリティ・キャンプ2025 ネクスト N4 講義資料☆23Aug 13, 2025Updated 7 months ago
- 編集部製の索引自動生成ツール『さくいんくん』公式リポジトリ☆22May 12, 2025Updated 10 months ago
- j/k motion with Hit-A-Hint☆12Apr 27, 2016Updated 9 years ago
- Practical configuration files by 5000++ commits. e.g., Neovim and tmux with editprompt for Claude Code. Global AI Instructions for Claude…☆18Updated this week
- decomoji を誰が使っているのか知りたいという思いがある☆14Jul 2, 2025Updated 8 months ago
- Command interpreter using Continuation monad and variants☆12Dec 7, 2019Updated 6 years ago
- ☆17Jul 21, 2025Updated 7 months ago
- New TIOJ Judge Client☆15Mar 10, 2026Updated last week
- A simple whiteboard.☆11Nov 11, 2021Updated 4 years ago
- Electronによる、シンプルな時計ウィジェット☆13Nov 2, 2016Updated 9 years ago
- sometimes math is just too much fun☆22Jun 25, 2015Updated 10 years ago
- ☆12Dec 7, 2025Updated 3 months ago
- It’s like iexpress.exe on caffeine!☆13Nov 10, 2014Updated 11 years ago
- ☆11Nov 13, 2024Updated last year
- Documentation and tools to curate Sigma rules for Windows event logs into easier to parse rules.☆16Oct 22, 2025Updated 4 months ago