Skip to content

About me

  • 👋 Hi, I am xiaoshihou514.
  • 💻 I am proficient in programming both functionally and imperatively, currently focusing on Scala.
  • 💪 I can tackle analytical and computational further maths problems.
  • 📚 I am interested in programming languages, in particular type theory, program verification / specification and parallel computing.
  • 📖 On the mathematics side, I am interested in analytical discrete maths, such as groups / rings / category theory.
  • 📝 My favourite text editor is Neovim.
  • 👀 During my free time, I build interesting software for fun. I like to build language related tooling and polished practical apps. I am now learning to develop in Qt.
  • ✍️ I occasionally write down what I've learned here.
  • 🏃 I enjoy single person sports like jogging and swimming.
  • 📫 How to reach me:

Projects

ndpc

Natural deduction proof compiler

Scala
aristotle

Easy to use gui frontend for ndpc

C++
git-biance

Shows and visualizes contributions in a git repo

Rust
guard.nvim (Lead maintainer)

Lightweight, fast and async formatting and linting plugin for Neovim

Lua
wrench

Minimal alternative to GNU make for your C project

Python
notes

Extremely minimalist note taking app with flutter

Dart