yiyunliu/info-page
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
No description
39 commits 1 branch 0 tags 17 MiB
Find a file
Exact
Yiyun Liu 4370cd0654
Some checks failed
ci/woodpecker/push/woodpecker Pipeline failed
Details
Removing the leetcode stuff so i look less like a tryhard
2025-11-23 22:56:29 -05:00
css Add LICENSE for pico 2025-01-17 22:34:40 -05:00
files Update the webpage to make myself look more hireable 2025-11-18 15:10:31 -05:00
images Add camel 2025-09-12 15:44:22 -04:00
papers Add link to coqdoc 2025-10-13 20:49:08 -04:00
repl25-notes Add syntax.v 2025-07-03 11:32:53 -04:00
sp-eta-postpone@6e48b775ad Add link to coqdoc 2025-10-13 20:49:08 -04:00
templates Fix typos 2025-01-05 19:13:43 -05:00
.envrc Initial Commit 2025-01-05 17:24:58 -05:00
.gitattributes Update the webpage to make myself look more hireable 2025-11-18 15:10:31 -05:00
.gitignore Initial Commit 2025-01-05 17:24:58 -05:00
.gitmodules Update the link to the submodule 2025-10-21 16:55:21 -04:00
.woodpecker.yaml Wrong branch 2025-03-21 18:02:27 -04:00
default.nix Initial Commit 2025-01-05 17:24:58 -05:00
index.org Removing the leetcode stuff so i look less like a tryhard 2025-11-23 22:56:29 -05:00
infopage.cabal Initial Commit 2025-01-05 17:24:58 -05:00
README.md Add README.md 2025-04-20 22:00:42 -04:00
site.hs Update the webpage to make myself look more hireable 2025-11-18 15:10:31 -05:00

README.md

Source code for my info page

status-badge