京都大学数学系の院試の問題と解答です

The math library of Lean 4

The Lean version manager

数学系のためのLean勉強会

文化祭の運営を支援するソフトウェア

An application / authentication starter kit frontend in Next.js for Laravel Breeze.

GitHub API を利用して GitHub のリポジトリを検索するアプリです。株式会社ゆめみのFlutterエンジニアコードチェックの要件を満たすよう実装しています。

コードで学ぶAWS入門

🛁 Clean Code concepts adapted for JavaScript

npm package to load gapi script and initialize some functions

React live example of Google Login with gapi-script package

Google APIs Client Library for browser JavaScript, aka gapi.

Shifter Headless Next JS Starter Template: A solid foundation for fast, scalable, and SEO-friendly headless WordPress websites with Next.js and Shifter.

Flutter | Create advanced modal bottom sheets. Material, Cupertino or your own style

Highly Subjective Roadmap to Flutter Development

List of papers studying machine learning through the lens of category theory

React on Sinatra Integration, Server Side Rendering

A Ruby library to read/write files/spreadsheets in Google Drive/Docs.

REST client for Google APIs

Makes it easy to upgrade any request to a websocket connection in Sinatra