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:
- NeoVim: a config based on LazyVim(branch
LazyVim) and a config like LazyVim from scratch(branchkickstart) - Emacs: a minimal Emacs config(branch
simple) - Vim: a minimal Vim config
- dotfiles in which you can find more about, such as zsh or bash
I'd like to learn more about functional programming languages like Haskell and independent-type programming languages like Coq or Agda.
- to learn Zig programming language, and to make some interesting toys with C and Zig
- to do some toy project with Haskell
- to learn Software Foundations and use Rocq prover
- porting some major C++ projects to Rust
- C, C++ & Rust
- 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++