A simple application used for tracking which MLB and AAA stadiums a "Ballpark Chaser" has been to.

HTTP MySQL/SQLite Proxy

これは PDF ファイルを画像に変換する Discord Bot です． Discord で PDF ファイルがプレビューできたら便利なのになー．

Node.js Redis devcontainer template, with redis-commander on autostart!

Vite React App Template - for SOHO

Containerized Frontend Application using React with GitHub Actions Workflows

Cyber Modular Artifact Report Structure

ハッカソンで作ったアプリ．機械学習でフォントの Few-shot Learning をするはずだったけど，うまくいかなかったので二つのフォントをランダムに混植する機能でお茶を濁しました．

a multi function container system

Make HTTP requests from inside WASM in Micropython. Demo and devcontainer.

node environment with devcontainer

Create React App Template - for SOHO

System design artifacts and React webapp prototype for an Automated Appointment System 📅

Hello World usando Flask, Python 3, Docker e Dev Containers do Visual Studio Code

A repository to learn developing using Docker

A demo for unit testing with the Mocha.js framework.

This project leverages the React Framework ⚛️ to create a dynamic front-end for an app to detail your passing thoughts! 🧠

react.js、TypeScript、webpack-dev-server、Eslint、Prettier、StoryBook、Jestなどを用いた環境構築のテンプレート

未完の日本語訳です．TPiL の日本語訳をお探しの方は https://aconite-ac.github.io/theorem_proving_in_lean4_ja/ へどうぞ