profile
viewpoint
If you are wondering where the data of this site comes from, please visit https://api.github.com/users/MaboroshiChan/events. GitMemory does not store any data, but only uses NGINX to cache data for a period of time. The idea behind GitMemory is simply to give users a better reading experience.

MaboroshiChan/clickhouse-haskell 17

Haskell driver for ClickHouse

aya-prover/aya-prover-proto 12

┗:smiley:┛ ┏:smiley:┓ ┗:smiley:┛

MaboroshiChan/hamler-vscode 1

Hamler syntax extension for VSCode

MaboroshiChan/mzi-dev 1

A Dependently Typed Functional Programming Language

MaboroshiChan/Pandemic_Chart 1

Coronavirus pandemic chart extension for Google chrome

2049foundation/docs 0

HStreamDB user documentation

MaboroshiChan/bilibili-user 0

🍥 Bilibili 用户爬虫

create barnchMaboroshiChan/Leetcode-TS

branch : master

created branch time in 43 minutes

create barnchMaboroshiChan/Leetcode-TS

branch : main

created branch time in an hour

created repositoryMaboroshiChan/Leetcode-TS

Solving some Leetcode problems using Typescript

created time in an hour

push eventMaboroshiChan/MathSheet

Shi You

commit sha 179f6ba5854bead6bd3d1d0c9c44e34b43eb3145

add more funcs

view details

push time in an hour

push eventMaboroshiChan/MathSheet

Shi You

commit sha 638bfaf7eb54453edd05d9e60b53012c824faab0

add hooks

view details

push time in 2 hours

push eventMaboroshiChan/MathSheet

Shi You

commit sha 981649915d88d3b5c29049fbde5077c8934dc0be

new commit

view details

push time in 18 hours

push eventMaboroshiChan/MathSheet

Shi You

commit sha b798ac42d84a420db472fb8b5a325c3833f58f6b

add bottom-up data collection

view details

Shi You

commit sha e6d7f9b6b13dfc185aebd2d6583ac20ae8776e2b

make more changes

view details

push time in 6 days

push eventMaboroshiChan/MathSheet

Shi You

commit sha 4d3b255b18a649aca4c0b267f41a9dd42c2b034a

update

view details

Shi You

commit sha 3f065624acabd89757d55ed11259edbe9d3c553d

restructure

view details

Shi You

commit sha 7bfbd4ba7175c9aa1c420212178c195a5907a24c

updates

view details

push time in 7 days

push eventMaboroshiChan/MathSheet

Shi You

commit sha 74fa6522e80be6ecc68c054705d6b6a75ebbaf4f

fix error

view details

push time in 16 days

push eventMaboroshiChan/MathSheet

Shi You

commit sha c4740240287017607dd7a8ff8afffc331a1fe729

add proofBox

view details

push time in 17 days

push eventMaboroshiChan/MathSheet

Shi You

commit sha 678887130f47f389da34b48ede2b10eafc37df36

add FormulaInputBox module

view details

Shi You

commit sha 0f4e20e86a4680740c12f51b3842fdc0bdceac46

small change

view details

push time in 17 days

push eventMaboroshiChan/MathSheet

Shi You

commit sha 8e9ae4da389d60eab183c5b6f7909b704391ffef

fix add line bug

view details

push time in 18 days

push eventMaboroshiChan/MathSheet

Shi You

commit sha 47ddbc42d17f99b68aa60aa6f3e634042e40d79f

update

view details

push time in 18 days

push eventMaboroshiChan/MathSheet

Shi You

commit sha 9c93163fa92739c73fb4b77e1b328838219e1ca2

fix bugs

view details

push time in a month

push eventMaboroshiChan/MathSheet

Shi You

commit sha adabc3f2de7ce1a1868773375fa4c49dd1b8224d

make change

view details

push time in a month

push eventMaboroshiChan/MathSheet

Shi You

commit sha 91f162553a737b91fad13465ac5302260a3493a8

add have-from box

view details

push time in a month

create barnchMaboroshiChan/MathSheet

branch : master

created branch time in a month

created repositoryMaboroshiChan/MathSheet

created time in a month

push eventMaboroshiChan/TeXToLean

Shi You

commit sha d8a4c62135254b9f59d3d425c8bf5447c3e12b61

fix big operator function

view details

push time in 2 months

PublicEvent

fork MaboroshiChan/trepplein

Lean type-checker written in Scala.

fork in 2 months

fork MaboroshiChan/tc

Reference type checker for the Lean theorem prover

fork in 2 months

fork MaboroshiChan/vscode-lean

An extension for VS Code which provides support for the Lean language.

fork in 2 months

starteddselsam/tc

started time in 3 months