Skip to content
View dannypsnl's full-sized avatar

Organizations

@llir @second-state @racket-tw @WasmEdge @dannypsnl-fork
Block or Report

Block or report dannypsnl

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
dannypsnl/README.md
(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)
  #:learning '(inductive families
               natural model
               modules, dependencies, and cache format
               terimation property: sized/glued dependent type
               modal logic & its properties)
  #:mail "inbox@dannypsnl.me"
  #:pronouns: '(He Him)
  #:os '(EndeavourOS 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))

dannypsnl profile

Pinned

  1. FizzyElt/functional-programming FizzyElt/functional-programming Public

    帶你探索 functional programming

    XSLT 21 1

  2. WasmEdge/WasmEdge WasmEdge/WasmEdge Public

    WasmEdge is a lightweight, high-performance, and extensible WebAssembly runtime for cloud native, edge, and decentralized applications. It powers serverless apps, embedded functions, microservices,…

    C++ 7.8k 689

  3. jonsterling/ocaml-forester jonsterling/ocaml-forester Public

    Mirror of ocaml-forester

    OCaml 28 2

  4. kentookura/forest-server kentookura/forest-server Public

    A server for the forester tool

    Rust 10 3

  5. jeapostrophe/racket-langserver jeapostrophe/racket-langserver Public

    Racket 248 24

  6. sauron sauron Public

    A DrRacket plugin to make it experience like an IDE

    Racket 48 4