Kitamado's Projects
White-box automation for Lean 4
alpine js の使用例
大学などの公開講座のリストです.
ブラウザ拡張機能を作るチュートリアルで作成した,FireFox拡張機能
GitHub+Jekyllでブログを書くための練習としてForkしたリポジトリ.
The Rust Programming Language
Rust文書の和訳レポジトリ
FreeCodeCamp / Machine Learning with Python / Book Recommendation Engine using KNN
Siegfried Bosch「Algebraic Geometry and Commutative Algebra」のノートです。2ページ。
FreeCodeCamp / Machine Learning with Python / Cat and Dog Image Classifier
streamlit による chatbot 作成の練習です
コードの,同時に変更しなければならないファイル群をチェックするツールです.(開発中)
Build my own git by Rust
Build my own Redis with Rust
コンパクト台連続関数がなす空間にどんな位相を入れるかについて考えた文章です。13ページ。
Catalog Of Math Problems Formalized In Lean
「Concrete Semantics」を Lean で読むノート
WIP: work in progress
My submission of CS50Web final project Capstone. This is a website where you can share and answer quizzes.
free code camp / Data Analysis with Python
私がよく使う devcontainer の設定のテンプレート
devcontainer setting for django project
微分方程式の授業の過去問と解答です。6ページ。
Ubuntu base docker images of lean4 theorem prover
my attempt of fcc machine learning projects. WIP :construction:
repository for material for Jan-Mar 2023 course on formalising mathematics
Functional Programming in Lean のソースコードのクローン
Functional Programming in Lean の日本語訳. 演習問題への解答を含みます(作業中 🚧)
「Functional Programming in Lean」の演習問題の解答を置いておく用のリポジトリです.
This is a collection of legally free resources for mathematics.