Kitamado's repositories
docker-lean4
Ubuntu base docker images of lean4 theorem prover
poetry-devcontainer
template for setting up poetry in devcontainer
beastify-extension
ブラウザ拡張機能を作るチュートリアルで作成した,FireFox拡張機能
book-recommendation
FreeCodeCamp / Machine Learning with Python / Book Recommendation Engine using KNN
chatbot-tutorial
streamlit による chatbot 作成の練習です
devcontainer-examples
私がよく使う devcontainer の設定のテンプレート
fcc-machine-learning
my attempt of fcc machine learning projects. WIP :construction:
game-of-life
Conway's game of life implemented by Deno + TypeScript + p5js
hello-misskey
misskey.io を閲覧すると挨拶をする Firefox 拡張機能(Chrome でも利用可能)
how_to_install_lean
Leanのインストール方法・elanとLakeの使い方
lean-math-workshop-my-solutions
https://github.com/yuma-mizuno/lean-math-workshop のクローン.自分で問題を解いていくために使う.
lean-math-workshop-sphinx
https://github.com/yuma-mizuno/lean-math-workshop の内容をウェブページとしてビルドする試み
lean-math-workshop-static-site
https://github.com/yuma-mizuno/lean-math-workshop のフォーク.lean ⇒ md と変換してWebページを作る試み
lean-quiz-template
Lean でクイズを出題するためのテンプレート. lean_grader を使用して自動採点を行います.開発中.
linear-regression
FreeCodeCamp / Machine Learning with Python / Linear Regression Health Costs Calculator
math-in-type-theory-ja
Xena の記事「Mathematics in type theory」の非公式日本語訳です
math-in-type-theory-ja-old
Mathematics in type theory の非公式日本語訳(古いです)
mathematics_in_lean_old
「Mathematics in Lean」の読書メモ
mathematics_in_lean_source_fork0
Mathematics in Lean のソースコードのフォーク. GitHub Action で自動デプロイを行う
mlflow-test
MLFlow を試します
natural-number-game4-solutions
my save data of natural number game 4
neural-network-sms-text-classifier
Free Code Camp / Machine Learning with Python / Neural Network SMS Text Classifier
powershell-example
個人的な powershell スクリプト例です.
serene-blog
WIP: work in progress
spaceship-titanic
kaggle/getting started/spaceship-titanic に対する私の取り組みを説明します.(開発中)