Skip to content
View Yestercafe's full-sized avatar
🎯
Focusing
🎯
Focusing

Block or report Yestercafe

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
Yestercafe/readme.md

Ivan Chien/Yestercafe - He/Him

Outlook Badage Gmail Badge LeetCode Badge Codewars Badge

Hi there, I am Ivan Chien. I like Rust and C++ and have used them to write some projects, you can find them below or on the repositories page.

I use NeoVim, VSCode, and Emacs. You can find out my configs:

I'd like to learn more about functional programming languages like Haskell and independent-type programming languages like Coq or Agda.

Recent Goals

  • to finish Coffee OJ
  • porting some major C++ projects to Rust

Interested in

  • Rust & Go
  • functional programming
  • programming languages
  • theorem proving

My Handworks

Pinned Loading

  1. CoffeeOJ-judge CoffeeOJ-judge Public

    Rust 3

  2. CoffeeOJ CoffeeOJ Public

    Go

  3. Euphoria Euphoria Public

    Euphoria UE C++ docs generator

    Rust 2

  4. Emehcs Emehcs Public archive

    A Scheme-like language interpreter

    C++ 13 3