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.
- to finish Coffee OJ
- porting some major C++ projects to Rust
- Rust & Go
- functional programming
- programming languages
- theorem proving
- Yestercafe/CoffeeOJ-judge(WIP): An online judge backend service written in Rust
- Yestercafe/CoffeeOJ(WIP): An online judge platform written in Golang
- Yestercafe/leetcode-solutions: My LeetCode solutions, C++/Python/Go/Rust/and so on, all in this repo!
- Yestercafe/Euphoria: A UE C++ documentation generator written in Rust
- Yestercafe/Emehcs(Archived): A Lisp-like language interpreter written in C++