2024 winter ~ 2025 summer
Biggest practical project I've made by 2025 :)
Cross-platform encrypted voice note app
For use in group projects:
Shows and visualizes contributions in a git repo
For ricing, though I don't rice a lot now :)
Visualizes OKHSV color distribution for an image
2023 winter ~ 2024 summer
I learned more about programming during the time. It was a time when I learned a bunch of new exciting new technologies.
Natural deduction proof compiler
Easy to use gui frontend for ndpc
These two I was quite proud of at the time, I was hoping that X would adopt it. However, they seemed to consider Lean as a better alternative.
But it was a fun project and the logic was quite elegant.
Related:
Vim support for the natural deduction markup language
Something I did in my free time:
Extremely minimalist note taking app with flutter
Had to say I didn't really figure out flutter at the time.
Minimal alternative to GNU make for your C project
Treesitter based navigation plugin
My first published neovim plugin, quite hacky, and I haven't been using it much since.
Unfinished, a one-shot project to satisfy my text editor fantasy
Also unfinished, a one-shot project to satisfy my text editor fantasy
2023 and previous
I first really started programming from 2021. I've made some small programs a bit later, some of the source code is still sitting around my hard drive somewhere:
- An enigma encryption program
- An alternative application launcher, written in Java Swing
- A broken gomoku AI, using brute force search and some pruning
- A barely started computer virus, with a client written in Go.
Since 2023, I have been using Neovim as my main editor. I was very active in the Neovim forum at the time and I began to maintain my own config and some of the plugins, most notably guard.nvim, originally written by glepnir, it's mostly under my maintenance by now.
Lightweight, fast and async formatting and linting plugin for Neovim