Skip to content
View martin-k-m's full-sized avatar
3 followers · 2 following

Achievements

Achievement: Pull Sharkx4Achievement: Pair Extraordinairex4Achievement: YOLOAchievement: Galaxy BrainAchievement: Quickdraw

Achievements

Achievement: Pull Sharkx4Achievement: Pair Extraordinairex4Achievement: YOLOAchievement: Galaxy BrainAchievement: Quickdraw

Highlights

  • Pro

Block or report martin-k-m

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
martin-k-m/README.md
Martin Muskov, studying EE at UCSC and co-founder at Credda

Credda LinkedIn Email Substack Website

Electrical engineering at UC Santa Cruz, co-founder of Credda. I build small, deterministic tools in whatever language fits, and I am writing one of my own.

Languages ranked by bytes of code

Ranked by bytes of code · public, private and contributed repositories · Linguist-attributed



Each language's share of the code, day by day over the last 3 months

Share of code, one point per day · rolling 3 months · reconstructed from each repository's tree as it stood that day · click, then hover for any day



Contributions over the last 3 months, running total and per-day rate

Running total and contributions per day · rolling 3 months · click, then hover for any day



Every repository this account touches, sized by bytes of code, coloured by dominant language and clustered by owner

Every repository, clustered by owner · area is bytes of code, colour is the dominant language · private repositories are drawn but never named

Credda  ·  credda.io  ·  @martin  ·  GitHub

Credda: a portable, verified work record, scored by a public formula

I'm a co-founder. Credda turns real, both-party-confirmed commitment history into a verified 0–100 reliability score that a person owns and carries across marketplaces, lenders, and clients.

Credda: deterministic scoring from an append-only ledger, portable as a signed W3C Verifiable Credential, built on commitments rather than reviews, with organizations

Early-stage and under active development. Anything the site marks coming soon is direction, not a shipped guarantee.


twill  ·  GitHub  ·  Release

twill



twill: shape errors caught at check time, differentiation as syntax, one deterministic dependency-free binary

Selected projects

Beyond Credda and twill: small, dependency-light tools, one job each, with tests and CI, in the language that fits it.

Data

drift · Rust
Diff two tables by key rather than by line position, so re-ordering or re-exporting a file is not a diff.

sift · Python
Query CSV and JSONL from the terminal with a small clause language. Streaming, zero dependencies.

csvpeek · Python
Profile a CSV: inferred types, null rates, per-column stats and distributions.

Developer infrastructure

capsule · Go
Throwaway, isolated development environments described by one config file, gone when you exit.

tandem · Java
Durable workflow orchestration for the JVM: retries, compensation and resume, with no runtime dependencies.

Tech

Stack: languages by measured share of bytes, and the declared frontend, backend, data and infrastructure tools

Language chips carry their real share of the bytes, from the same data as the charts above · everything else is declared


Followers

Pinned Loading

  1. twill twill Public

    Twill: a tensor-first language for AI and ML. Autodiff and static shape checking are part of the language, not a library.

    Go 1

  2. capsule capsule Public

    Lightweight, isolated development environments that disappear when you're done

    Go

  3. drift drift Public

    Diff two tabular datasets: schema changes, added and removed rows, and which fields moved. Keyed, not positional. Zero dependencies.

    Rust

  4. quarry quarry Public

    A SQL query engine over CSV files, in Python. Standard library only.

    Python

  5. strata strata Public

    A log-structured (LSM-tree) key-value store in Java, built from the write path up.

    Java

  6. tandem tandem Public

    Workflow orchestration for Java: durable runs, retries, compensation and scheduling, with no runtime dependencies

    Java