https://github.com/dannypsnl/dannypsnl
Whatever
https://github.com/dannypsnl/dannypsnl
readme-card
Last synced: about 1 month ago
JSON representation
Whatever
- Host: GitHub
- URL: https://github.com/dannypsnl/dannypsnl
- Owner: dannypsnl
- Created: 2020-07-07T03:33:57.000Z (almost 5 years ago)
- Default Branch: master
- Last Pushed: 2025-03-19T11:13:22.000Z (2 months ago)
- Last Synced: 2025-03-28T00:42:17.324Z (about 2 months ago)
- Topics: readme-card
- Homepage: https://dannypsnl.github.io/
- Size: 2.9 MB
- Stars: 2
- Watchers: 2
- Forks: 1
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
```racket
(information
#:name (cond [(know-taiwanese? you) "Lîm Tsú-thuàn"]
[(know-chinese? you) "林子篆"]
[else "Danny"])
#:focus-on '(PLT Networking OS)
#:language '(ocaml elixir haskell racket)
#:prover '(lean agda)
#:math-tools '(sagemath julia)
#:learning '(geodesics
Ricci flow
natural model of dependent type)
#:mail "[email protected]"
#:pronouns: '(He Him)
#:os '(NixOS MacOS)
#:languages: '((Taiwanese . thian-jiân)
(Chinese . 母語)
(English . fluent)
(Finnish . Osaan puhua vähän suomea)
(Japanese . 日本語がわからない)
(Deutsch . Ich kann kein Deutsch sprechen))
#:fun-fact '(most native speakers of Chinese/Taiwanese cannot pronounce my name correctly at first))
```
