Skip to content
View luceat-lux-vestra's full-sized avatar
💭
**UNVERIFIED — sleep-deprived**
💭
**UNVERIFIED — sleep-deprived**

Highlights

  • Pro

Block or report luceat-lux-vestra

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
luceat-lux-vestra/README.md

luceat-lux-vestra

Backend Engineer

I primarily build backend systems with Java, Kotlin, and Spring,
but I'm comfortable working across the stack when needed.

I enjoy building reliable systems, integrations, and developer tools around problems I actually encounter.

I started my career in game development before moving into backend engineering,
and I still enjoy understanding how software works beyond my primary stack.


Primary Stack

Java Kotlin Spring SQL



Also Building With

Rust AI Agents



Blog Email


Selected Work

CI Zed extension Spring Tools

Spring Boot language intelligence for Zed, integrating Spring Tools with Zed's native language-server and editor capabilities.

CI crates.io crates.io downloads

A framework for reliable, restartable batch processing built around durable execution semantics, explicit transaction boundaries, recovery, and evidence-driven compatibility.

Build Marketplace version Downloads

A JetBrains IDE plugin for evaluating MyBatis dynamic SQL with parameters and executing the resolved native SQL through the IDE's database tooling.

CI Release macOS to Android

A DeX-first macOS-to-Android input bridge that hands keyboard and pointer control across devices using ADB and native input paths.

Build Marketplace version Downloads

A Typora-style WYSIWYG Markdown editor for IntelliJ-based IDEs, built around a native IntelliJ FileEditor, JCEF, and Milkdown.

CI Experimental

An independent Quarkdown-compatible document compiler and toolchain with a backend-neutral IR and Typst/PDF output pipeline.

Build Marketplace version Downloads

A JetBrains IDE plugin that exports real database table metadata and relationships as Mermaid ER diagrams.


Publications


Open Source Contributions


GitHub

Incoming Issues Incoming PRs



GitHub overview generated from first-party public data

Popular repositories Loading

  1. search-browser-tabs-for-alfred search-browser-tabs-for-alfred Public archive

    An Alfred workflow for search and activate the tab.

    Ruby 39 5

  2. zed-spring-tools zed-spring-tools Public

    Spring Boot language intelligence for Zed, built on the required official Java extension. Early source release; one tested tuple (macOS arm64/JDK 25).

    JavaScript 7 1

  3. alfred-tabs-improved alfred-tabs-improved Public archive

    Find/Activate/Close browser tabs with Alfred. duplicated from https://github.com/importre/alfred-tabs

    JavaScript 6 1

  4. alfred-searchio-devonthink alfred-searchio-devonthink Public archive

    Forked from deanishe/alfred-searchio

    Alfred workflow to auto-suggest search results from multiple search engines and languages.

    Python 3 1

  5. alfred-restart-app alfred-restart-app Public archive

    Forked from ngreenstein/alfred-process-killer

    An Alfred workflow that makes it easy to restart misbehaving processes. It is, in essence, a way to easily find processes by name and restart them.

    Ruby 2

  6. crossinput crossinput Public

    Ampersand — one Mac pointer + keyboard for macOS and Android. Control Samsung DeX or any Android screen with your MacBook trackpad, mouse, and keys. UHID over ADB, no phone install, no root.

    Swift 2