varkor
Summary
🤩
Rockstarvarkor nan is a software engineer with 11 years of experience who combines type theory and Rust compiler development with hands-on full‑stack and mobile engineering. They contribute across formal mathematics and tooling—refactoring UniMath, shaping c2rust internals, and adding numerical primitives to rust-lang/libm—showing fluency from proofs to low‑level code. On the front end they build UX‑focused tools for commutative diagrams (quiver, tikzcd-editor), improving LaTeX export, edge styles and keyboard shortcuts, including resolving subtle macOS conflicts. They have also fixed bugs and shipped features for Firefox for iOS, evidencing production mobile experience. Notable strengths include a meticulous eye for correctness and naming, large‑scale refactors that improve maintainability, and the ability to move smoothly between research‑adjacent and production codebases.
11 years of coding experience
Stackoverflow
509reputation
12kreached
10answers
9questions
Github Skills (55)
wkwebview10
debug10
javascript10
ui-d10
ios10
float3210
translation10
coq-library10
mathematics10
user-interface10
userinterface10
ui-design10
math10
refactorings10
foundations10
Programming languages (22)
Github contributions (5)
varkor/quiver
Dec 2018 - Jan 2023
A modern commutative diagram editor for the web.
Role in this project:
Full-stack Developer
Full-stack DeveloperContributions:15 reviews, 582 commits, 21 PRs in 4 years 1 month
Contributions summary:Varkor primarily contributed to the front-end development of the web-based commutative diagram editor. Their work included implementing features like cell connections with keyboard shortcuts, enhancing cell selection behavior, and improving the export to LaTeX functionality. They also implemented edge styles, including support for parallel arrows and different edge types. Furthermore, the user added code for creating UI elements like the keyboard shortcuts and welcome panes, improving the overall usability of the editor.
diagram-editorsvgjavascripteditortypescript
UniMath/UniMath
Feb 2018 - Oct 2018
This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
Role in this project:Backend Developer
Backend DeveloperContributions:22 commits, 5 PRs, 18 comments in 7 months
Contributions summary:Varkor primarily focused on refactoring and cleaning up the Coq library. They suppressed output in several files, converting comments into test cases to improve code clarity and maintainability. The user also performed renaming of the term "rng" to the more accurate "ring" throughout the codebase. The commits demonstrate a focus on improving the structure and documentation of the project.
homotopy-type-theorycoq-libraryfoundationstheorem-provingcomputer-algebra-system
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.