English | 한국어[Korean]
- The GitHub repositories I created are read-only mirrors of the ones hosted on SourceHut.
- If you want to send patches upstream, please refer to https://man.sr.ht/git.sr.ht/#sending-patches-upstream.
Bulhwi Cha chabulhwi
I aim to create video games and other media for learning STEM disciplines.
-
Semmalgil
- Seoul, Republic of Korea (South Korea)
-
17:57
- 9h ahead - https://www.semmalgil.com
- https://sr.ht/~chabulhwi
Organizations
Pinned Loading
-
lean4game
lean4game PublicForked from leanprover-community/lean4game
Korean translation of the Lean web game server
TypeScript
-
NNG4
NNG4 PublicForked from leanprover-community/NNG4
Korean translation of the Natural Number Game
Lean
-
tpil-solutions
tpil-solutions PublicMy solutions to the exercises in "Theorem Proving in Lean 4"
-
-
knk-solutions
knk-solutions PublicMy solutions to the exercises in K. N. King's C programming book
C 1
-
478 contributions in the last year
| Day of Week | April Apr | May May | June Jun | July Jul | August Aug | September Sep | October Oct | November Nov | December Dec | January Jan | February Feb | March Mar | |||||||||||||||||||||||||||||||||||||||||
| Sunday Sun | |||||||||||||||||||||||||||||||||||||||||||||||||||||
| Monday Mon | |||||||||||||||||||||||||||||||||||||||||||||||||||||
| Tuesday Tue | |||||||||||||||||||||||||||||||||||||||||||||||||||||
| Wednesday Wed | |||||||||||||||||||||||||||||||||||||||||||||||||||||
| Thursday Thu | |||||||||||||||||||||||||||||||||||||||||||||||||||||
| Friday Fri | |||||||||||||||||||||||||||||||||||||||||||||||||||||
| Saturday Sat | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Less
No contributions.
Low contributions.
Medium-low contributions.
Medium-high contributions.
High contributions.
More
Activity overview
Contributed to
chabulhwi/tpil-solutions,
juyonLee00/2024_Lean_Study,
rla124/Lean
and 20 other
repositories
Loading