https://github.com/f1uctus/f1uctus
https://github.com/f1uctus/f1uctus
Last synced: 8 months ago
JSON representation
- Host: GitHub
- URL: https://github.com/f1uctus/f1uctus
- Owner: F1uctus
- Created: 2020-07-10T13:52:29.000Z (over 5 years ago)
- Default Branch: master
- Last Pushed: 2025-02-06T13:09:08.000Z (8 months ago)
- Last Synced: 2025-02-06T14:25:12.070Z (8 months ago)
- Size: 188 KB
- Stars: 1
- Watchers: 2
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
## 👋 Hi there
📈 Contribution statistics
![]()
![]()
### 🔭 I’m currently working on
* An experimental programming language, [Axion](https://github.com/F1uctus/Axion), due to my strong attraction to the design of programming languages.
* Also I'm inspired by other modern languages, such as [Unison](https://www.unison-lang.org), [Rust](https://www.rust-lang.org), [Lean 4](https://github.com/leanprover/lean4), and many more;
* Conversation extraction NLP toolkit, [TTC](https://github.com/F1uctus/ttc);
* Packaging Python modules for ARM architecture ([Python for Android](https://github.com/F1uctus/p4a-recipes)).### 🎯 So far I’ve worked on
* [Crown](https://github.com/F1uctus/crown) - a powerful game framework with time-travelling support.
It is continuously evolving along with [RPGram](https://github.com/Zemllia/RPGram), [Escape from Castilla](https://github.com/F1uctus/escape-from-castilla), [Chessic](https://gitlab.com/F1uctus/Chessic), [Crown of the Fallen King](https://github.com/F1uctus/cotfk) and [Your game here];
* [Rainmeter](https://rainmeter.net)-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](http://voxcommando.com/home/));
* Some scripts to simplify everyday life;
* Closed source:
* Spring Boot backend implementation of [Mediateka](https://media.dev.mediago.site) 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]