-
matsuri technologies
- Tokyo
- https://stephen-s-hanada.ck.page
- @FDDaioh
Stars
LINE Simple BeaconをESP32互換ボードとarduino IDEで動かす
Share, discover, and collect prompts from the community. Free and open source — self-host for your organization with complete privacy.
A tool to migrate your data from one database to another.
A CLI tool to measure four keys metrics and analyze development performance
This is the repository of "大堀淳「プログラミング言語 StandardML入門(改訂版)」" notes(e.g memo,code sample,Answer of question...)
Anime Girls Holding Programming Books
👤 CV Theme for JSON Resume; since 2019.9
open source training courses about distributed database and distributed systems
📄 Generate a Word docx file of Japanese-style resume from JSON Resume; since 2019.9
The support repository for the textbook "Compilers: Principles and Structures" (in Japanese)
A statically typed and lazy evaluated implementation of Lambda Calculus.
An Emacs framework for the stubborn martian hacker
A complete computer science study plan to become a software engineer.
Supplemental materials for the book entitled "Practical ML Programming with SML#"
Github Action to generate Release Note's body based on pull requests
TLA+ Spec of a simplified part of MongoDB replication system
TLA+ Specification of the MongoDB Replication Protocol