csharpython's repositories
collatz_sequence_maker
コラッツ数列生成器
lean_theorems
Leanでいろんな定理を証明してみた。
quaternion
四元数のライブラリ。
ABC001_ANS_E.G._
Sample answer for "atcoder beginner contest 001"
Language:C++000
Atcoder-answer-Ada
Atcoderのいろいろな問題をAdaで解いた。
Language:Ada000
Atcoder-answer-cpp
まあ、Atcoderの問題をcppで解いてみただけです。
Language:C++000
Chain-puzzle
パズルゲーム。
Language:JavaScriptMIT000
Collatz_Sequence_1to5K
コラッツ予想に関する何か
Simple_Clicker_game
This is simple clicker game.
the_clock
this is clock.
Language:HTML000
Language:LeanMIT000