nineties / category-seminarView external linksLinks
Materials for category theory seminar
☆28Jul 30, 2025Updated 6 months ago
Alternatives and similar repositories for category-seminar
Users that are interested in category-seminar are comparing it to the libraries listed below
Sorting:
- ☆19Jun 20, 2018Updated 7 years ago
- ☆25Nov 8, 2019Updated 6 years ago
- 進捗大陸で使用されたSATySFiファイル☆12May 22, 2023Updated 2 years ago
- ☆10Mar 15, 2019Updated 6 years ago
- KTV-FSUSB2/FSPCIEをLinuxで使う為の録画ツール(STZ版)☆11Mar 24, 2016Updated 9 years ago
- ガリグ先生 2018年度後期・数理解析・計算機数学 II ( 同 概論II)☆13Feb 27, 2019Updated 6 years ago
- Programs for checking the ρ property☆17Feb 28, 2021Updated 4 years ago
- Steamer: presentation in SATySFi☆14May 9, 2019Updated 6 years ago
- [WIP] A utility library for parsing BEAM format(and Erlang External Term Format, etc) which is written in OCaml.☆16Aug 27, 2019Updated 6 years ago
- ☆30Feb 26, 2023Updated 2 years ago
- ノベルゲームエンジン「LINKS」☆14Jan 9, 2018Updated 8 years ago
- A Hobby implementation of ML☆16Dec 19, 2015Updated 10 years ago
- experimenting with STM-backed read-copy-update in Haskell☆18Oct 19, 2025Updated 3 months ago
- Tiny lenses library with focus on ease of use.☆20May 29, 2018Updated 7 years ago
- ☆38Apr 29, 2018Updated 7 years ago
- mixi git challenge の新しい採点システム☆18Jul 6, 2023Updated 2 years ago
- ScalikeJDBC DSL by Free Monad☆15Oct 2, 2016Updated 9 years ago
- Maps using values' monoidal structure during merging☆42Jan 28, 2026Updated 2 weeks ago
- ☆41Aug 20, 2018Updated 7 years ago
- Code accompanying the paper Reflection without Remorse:Revealing a hidden sequence to speed up monadic reflection☆66Oct 4, 2021Updated 4 years ago
- markdown processor in TeX☆19May 13, 2021Updated 4 years ago
- ☆18Dec 15, 2023Updated 2 years ago
- Macro PEG: PEG with macro-like rules☆17Sep 17, 2025Updated 4 months ago
- Extensible records, variants, structs, effects, tangles☆131Jun 26, 2025Updated 7 months ago
- Package manager for SATySFi☆48Sep 25, 2023Updated 2 years ago
- Persistent adapter for Haskell Relational Record☆20Mar 30, 2023Updated 2 years ago
- Cats instances for ScalaCheck data types☆18Nov 21, 2016Updated 9 years ago
- ☆25Jan 14, 2023Updated 3 years ago
- Type-safe open unions in Haskell☆32Apr 20, 2018Updated 7 years ago
- ☆26Sep 29, 2022Updated 3 years ago
- Declarative command-line option parser☆60Dec 15, 2025Updated last month
- QuickCheck extras.☆29Jun 23, 2019Updated 6 years ago
- complementary collection of useful functions and modules for SATySFi☆32Apr 7, 2024Updated last year
- Describe stencil formurae without even translating them☆59Mar 2, 2017Updated 8 years ago
- 日本語版TRPLのPDF☆25Dec 31, 2017Updated 8 years ago
- Operational monad library☆30Nov 30, 2021Updated 4 years ago
- What I Wish I Knew When Learning Haskell 日本語訳☆118Jul 23, 2016Updated 9 years ago
- experimental library for Arrowized FRP in Elm☆42Nov 21, 2016Updated 9 years ago
- Export Quiver library to Obsidian compatible markdown☆11Apr 18, 2024Updated last year