This is your work, valued

Umut Korkmaz

@ismail0098-lang

Student building things aiming for MIT / Caltech :)

storykit. StoryKit — Écriture avec méthode Truby + workflow spec-driven

1

TETOS. hi

2

Register-BooledASS-solver. Registering BooledASS solver for SMT-COMP 2026. This submission adds `submissions/BooledASS.json` to register the solver for all divisions under the SingleQuery, Incremental, UnsatCore, and ModelValidation tracks using wildcard logic configuration.

2

BooledASS. Math libary for formal verification

2

Y. General Purpose Compiler

2

seL4. The seL4 microkernel

5.7k

Y-. 126 Byte compiler

20

open_gororoba. Pure-Rust computational physics workspace: Cayley-Dickson algebra (4D-16384D), multi-spacecraft heliosphere analysis, GPU lattice-Boltzmann, formal verification (262 Rocq proofs), and 1400+ tracked claims across 68 crates.

4