Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly
Sign up
Appearance settings
@L0stInFades
L0stInFades
Follow

Raaaaaymond L0stInFades

🤔
On vacation

Block or report L0stInFades

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.

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
L0stInFades /README.md

I work at the edges of computing — building game engines, verifying mathematics, composing algorithms into music.
Each project is an attempt to find the precise language a problem deserves.


currently

edyt.video · motion design video editor — clean, ready-to-ship animations without the usual complexity. smooth curve-based pathing, shape morphing, camera system, stagger reveals. early access.

selected work
Afterglow iOS Photos-style image viewer for Windows · Direct2D + spring physics · hero transitions
AnalysisTrinity Lean 4 · formal proofs of Nested Intervals · Bolzano-Weierstrass · Heine-Borel
Nevermind-Lang a language
Quench compression as meditation · extraction as gentle unfolding
Cocode-Precise MCP server for exact code symbol retrieval







3D Contrib


contribution snake

Pinned Loading

  1. Afterglow Afterglow Public

    iOS Photos-style image viewer for Windows. Direct2D + DirectComposition, spring physics, hero transitions.

    C++ 1

  2. BlameEngine BlameEngine Public

    Blame Engine — headless authoritative-world game engine (UE5 view client + Jolt physics; real-code hacking sandbox)

    C++ 1

  3. Quench Quench Public

    A suite of soulful reflections on the nature of data — prioritizing harmony over noise, clarity over complexity. Compression as meditation, extraction as gentle unfolding.

    Rust

  4. vien vien Public

    Calm Markdown for long-form writing

    TypeScript

AltStyle によって変換されたページ (->オリジナル) /