👋 Hi there

📈 Contribution statistics

🔭 I’m currently working on

• An experimental programming language, Axion, due to my strong attraction to the design of programming languages.
  • Also I'm inspired by other modern languages, such as Unison, Rust, Lean 4, and many more;
• Conversation extraction NLP toolkit, TTC;
• Packaging Python modules for ARM architecture (Python for Android).

🎯 So far I’ve worked on

• Crown - a powerful game framework with time-travelling support.
  It is continuously evolving along with RPGram, Escape from Castilla, Chessic, Crown of the Fallen King and [Your game here];
• Rainmeter-related things (skins, tools, etc.) on Windows;
  • btw, I hope to build my dotfiles for GNU/Linux some day;
• Tasks automation systems relying mainly on voice recognition (primarily VoxCommando);
• Some scripts to simplify everyday life;
• Closed source:
  • Spring Boot backend implementation of Mediateka cloud media storage platform & social network.

👯 I’m looking to collaborate on...

... Almost any project — the main thing for me is a good team.

✨ My skills are

_{* I'm (at least a bit) experienced in these technology stacks, and I've used them in my projects someway.}

🌱 I’m currently learning

• High-performance stack (Rust, C/C++);
• Cross-platform mobile development (Flutter/Kotlin);
• Abstract stuff, such as HoTT, Applied category theory and proof assistants.

📫 How to reach me

⚡ Fun facts

• 📟 I've started my journey to the programming world being nearly 12, and somehow my first experience was not a "Hello, world!", but attempts in .NET projects reverse-engineering. The learning curve was very steep, but it was worth it!
• 🇯🇵 I'm interested not only in programming, but in human languages too, (I try to learn Japanese!)

🖥️ My workspaces are powered by

• Windows
• 11 Insider Preview

• Unix
• NixOS
• Arch Linux [Windows Subsystem for Linux]
• Android 11 [Termux]