Discover @Seasawher Open Source projects

Kitamado (@Seasawher)

Seasawher

Stars
98
Global Rank 210,785 (Top 8 %)
Followers 59
Following 197
Registered almost 6 years ago
Most used languages

Lean 35.3 %

TeX
23.5 %

Dockerfile
11.8 %

Jupyter Notebook
11.8 %

JavaScript
11.8 %

Python
5.9 %
Location 🇯🇵 Japan
Country Total Rank 11,248
Country Ranking

Lean 1

TeX
24

Dockerfile
544

Jupyter Notebook
1,316

JavaScript
2,377

Python
6,933

graduate_exam

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

mdgen

Tool to generate markdown files from lean files. This is heavily inspired by lean2md.

mathlib4-tactics

List of the all tactics of mathlib4. This is heavily inspired by haruhisa-enomoto/mathlib4-all-tactics

mk-exercise

Simple and intuitive tool to manage exercises in textbooks written in Lean.

lean-book

mdbook template for lean project

InterpreterBook

「go 言語でつくるインタプリタ」の Lean によるノート

import-all

This script can check and auto-generate `import` statements in a lean4 repository.

system_exam

京都大学数学系の系登録試験の過去問と解答です。9ページ。

PreventCreatePublicRepo

simple Chrome extension which prevent creating public repository!

ConcreteSemantics.lean

「Concrete Semantics」を Lean で読むノート

handson-ml3

My fork of https://github.com/ageron/handson-ml3

Jupyter Notebook

localGPT

My fork of localGPT

poetry-devcontainer

template for setting up poetry in devcontainer

hartshorne

ハーツホーン「代数幾何学」のノートです。117ページ。

matsumura

松村英之「可換環論」のノートです。68ページ。

docker-lean4

Ubuntu base docker images of lean4 theorem prover

awesome-courses

大学などの公開講座のリストです．

free-math

This is a collection of legally free resources for mathematics.

InvertedPendulum.jl

Jupyter Notebook