ktgw0316 / milewski-ctfp-markdownView external linksLinks
Bartosz Milewski's 'Category Theory for Programmers' unofficial markdown source
☆81Jan 26, 2026Updated 3 weeks ago
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
- Google検索を邪魔する技術系スパムサイトのフィルタ☆23May 29, 2022Updated 3 years ago
- In Japanese. Juliaで学ぶ量子力学☆68Feb 14, 2020Updated 6 years ago
- introduction to category theory in scalajp☆48Mar 22, 2012Updated 13 years ago
- Typst で日本語論文を書くときのテンプレート☆161Jan 22, 2026Updated 3 weeks ago
- A package for magnetic field extrapolation.☆14Feb 9, 2026Updated last week
- The SOLAR blackbox optimization problem☆16Sep 24, 2025Updated 4 months ago
- SQS Job Kicker is the simple worker to invoke command from SQS message☆13Feb 20, 2024Updated last year
- The program can be used to scrape the content from an article from web by an input of a set of URLs in a text file or a URL. This project…☆17Aug 5, 2020Updated 5 years ago
- Logrila is a simple logging adapter.☆11Nov 15, 2017Updated 8 years ago
- Akka.Interfaced over SlimSocket☆13Sep 23, 2016Updated 9 years ago
- ☆14Jan 5, 2026Updated last month
- Sticky notes Mac app for simple task management☆13Jan 18, 2026Updated last month
- Interface 2024年11月号 特集「ゼロから作るマルチコアOS」配布プログラム☆11Sep 30, 2024Updated last year
- ☆37Jun 8, 2023Updated 2 years ago
- An open-source SVGs icon library☆11Jul 15, 2025Updated 7 months ago
- 二重振り子シミュレーション☆41May 22, 2017Updated 8 years ago
- 書籍『アンダースタンディング コンピュテーション』のサポートリポジトリです。☆73Sep 11, 2014Updated 11 years ago
- Use Ionicons in Sass as inline SVG, no images or webfonts needed☆12Jan 6, 2023Updated 3 years ago
- ☆12Mar 20, 2024Updated last year
- a Python package for Coronal Emission Line Polarization☆12Dec 5, 2025Updated 2 months ago
- An Ember-CLI app that converts images to ASCII art in the style of YouTube's TEXTp April Fools joke☆11May 7, 2015Updated 10 years ago
- ☆14May 13, 2024Updated last year
- a rhythm game using bmson format and running in browser☆10Apr 8, 2016Updated 9 years ago
- Soho vibes for ʕ•ᴥ•ʔ Bear☆10Nov 5, 2025Updated 3 months ago
- Find all missing script reference gameObjects in unity project, include scenes and prefabs.☆13Nov 16, 2022Updated 3 years ago
- javahelp☆15Jul 19, 2017Updated 8 years ago
- Fontastic is an Electron font management application.☆10Dec 15, 2025Updated 2 months ago
- C++ implementation of the enthalpy-based thermal evolution of loops (EBTEL) model wrapped in Python☆13Oct 30, 2025Updated 3 months ago
- Prefab Hierarchy Inspector for the Unity3D game engine.☆11Mar 26, 2017Updated 8 years ago
- 「すごいHaskell楽しく学ぼう!」の社内勉強会のために作成した、章末ごとの演習問題集です。☆40Jun 29, 2015Updated 10 years ago
- CMake Tutorial☆11Oct 8, 2022Updated 3 years ago
- A solar wind prediction model through Deep learning, using AIA Full disc data☆10Jun 16, 2020Updated 5 years ago
- a simple popup tool for unity.☆10Dec 27, 2015Updated 10 years ago
- Interface for generating Categorical Query Language files to merge/migrate data between databases☆14Aug 9, 2021Updated 4 years ago
- Simple JSON encoder/decoder for Common Lisp☆23May 18, 2023Updated 2 years ago
- A SemVer 2.0.0 implementation for Unity☆16Feb 25, 2025Updated 11 months ago
- Code that accompanies the paper Guided Deep Kernel Learning☆10Jul 2, 2023Updated 2 years ago
- Applied category theory applied to epidemiological models☆12Aug 7, 2024Updated last year