Category Theory for Programmers の勉強記録
☆18Jul 4, 2024Updated last year
Alternatives and similar repositories for hamcat
Users that are interested in hamcat are comparing it to the libraries listed below
Sorting:
- IxiaS is a development platform using scala languages.☆27Aug 5, 2024Updated last year
- ☆11Oct 25, 2021Updated 4 years ago
- standalone application with scala native☆11Jun 5, 2023Updated 2 years ago
- Generic refactoring rules available in scalafix☆13Oct 17, 2023Updated 2 years ago
- Good-Bye non type-safe JavaScript and CSS😊☆19Feb 2, 2023Updated 3 years ago
- DDD sample implementation by Scala.☆144Dec 12, 2020Updated 5 years ago
- A Scala library for controlling/interacting with Isabelle☆42Feb 4, 2026Updated last month
- Finance::YahooJapan - A Perl module that enables GnuCash to get quotes of Japanese stocks and mutual funds from Yahoo! Finance JAPAN.☆13Aug 29, 2024Updated last year
- Qiita投稿用に作成した最適化アルゴリズムの実装コードです。☆15Jan 23, 2021Updated 5 years ago
- various keyboard layouts (primarily for Japanese)☆10May 8, 2023Updated 2 years ago
- ☆12Jul 25, 2025Updated 7 months ago
- ☆17Dec 14, 2025Updated 2 months ago
- ☆13Nov 22, 2023Updated 2 years ago
- Stacklands Modding Wiki☆11Jan 2, 2025Updated last year
- A log book☆10May 7, 2017Updated 8 years ago
- SafetyCulture Exporter Tool for exporting your data to MSSQL, PowerBI and your other BI tools☆17Jan 15, 2026Updated last month
- ☆11Dec 6, 2021Updated 4 years ago
- Github fork of ToME/TE4☆12Aug 28, 2014Updated 11 years ago
- Guide to creating GitHub Issues and Pull Requests for OSS Contribution☆12Mar 2, 2026Updated last week
- Promete - Simple, Powerful and Extensible 2D Game Engine for .NET☆14Updated this week
- Simple GitHub Actions for Autify☆11Feb 27, 2021Updated 5 years ago
- GETH - Go, Echo, Turso, HTMX example project by Quteo☆10Feb 17, 2024Updated 2 years ago
- Provides support the MVVM pattern in WPF and/or WinForms applications, and additional utilities.☆10Oct 26, 2025Updated 4 months ago
- Type-level lambda calculus in Scala 3☆13Oct 11, 2022Updated 3 years ago
- textlint rule plugin to check duplicated conjunctive particle `ga` in a sentence.☆11Nov 26, 2023Updated 2 years ago
- A multiplatform Kotlin library providing basic cryptographic functions and primitives☆15Oct 5, 2025Updated 5 months ago
- ☆10Jan 26, 2023Updated 3 years ago
- An sbt plugin to create annotations for the Github UI when sbt is run in Github Actions☆12Oct 10, 2025Updated 4 months ago
- 機械学習・深層学習入門レッスン/Machine Learning and Deep Learning lessons.☆12Mar 16, 2020Updated 5 years ago
- AtCoder Problems for Me☆11Mar 28, 2019Updated 6 years ago
- ☆12May 28, 2024Updated last year
- SketchEl 2 as a cross platform desktop web application☆10Dec 12, 2022Updated 3 years ago
- Source Code for 'Game Backend Development' by Balint Bors☆11Dec 27, 2022Updated 3 years ago
- BigInteger for scala with very fast modPow☆10Feb 13, 2026Updated 3 weeks ago
- The official StarMade game launcher.☆10Apr 2, 2023Updated 2 years ago
- Sample code to demonstrate how to work with Plugin.Maui.Audio in .NET MAUI☆10Sep 1, 2022Updated 3 years ago
- Functional bindings for ZeroMQ☆10Aug 12, 2024Updated last year
- Enforces shaded package and artifact names to ensure binary compatibility across major library versions☆12Nov 6, 2023Updated 2 years ago
- Test repository for creating a websocket notification service with Skunk☆11May 13, 2020Updated 5 years ago