Block or report rasros
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.
Close all issues, pull requests, and discussions opened by this user
Content in all repositories owned by your account will be closed.
Add an optional note
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 abuseKotlin, Python, and Go. Optimization, streaming statistics, and LLM tooling.
- lx (Go) CLI and agent skill that bundles files for LLMs, with type/function skeletons, tree views, etc.
- vectrify (Python) Raster to vector via LLMs and NSGA-II.
Eignex is a Bayesian optimization framework with a constraint system for ruling out invalid configurations, started during my PhD on optimizing software configurations. It is split into Kotlin multiplatform libraries:
- combo The main engine that ties it together. Under construction.
- kumulant Lock-free streaming statistics: EWMA, time-decaying aggregates, and more.
- klause Hybrid general-purpose CSP-SAT-LP optimizer.
- koblas BLAS and LAPACK bindings for dense and sparse matrices, with reference implementations when system binaries are missing.
- skema Schemas that are both typed Kotlin code and serialized wire data, so consumers without the Kotlin source can still walk them.
- kencode Compact, ASCII-safe encodings for size-limited channels.
- kpermute Shuffle huge sequences without holding them in memory; also handy for ID obfuscation.
- prompts Prompts library used with lx.
- largesofteng Open labs for a Lund course on software at scale.
- aoc23 / aoc25 Advent of Code.
- Google Scholar Publications.
Pinned Loading
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.