Skip to content
You must be logged in to sponsor varkor

Become a sponsor to varkor

@varkor

varkor

Hey, I'm varkor.

You may know me either from my work on theRust programming language,or on the commutative diagram editorquiver.Right now, I'm focusing on postdoc in mathematics and theoretical computer science, so I'm taking a short break from development, but will be working on both Rust andquiveragain as soon as I can.

Rust

Until recently, I was part of thecompiler teamfor the Rust programming language. I work on various aspects of the compiler, including theconst genericslanguage feature, pattern-matching, diagnostics, lints, and fi xing compiler crashes. I'm also involved in pushing several language feature designs forward, includingimpl Traitin type aliases,enum variant typesandexhaustive integer pattern matching.I occasionally share ideas I have on Rust language designon my blog.

Rust is a great language, with a powerful and helpful compiler, and I'd like to be able to spend more of my time improving it. Contributing a little will allow me to put more of my energy into developing the language and tooling, as well as mentoring newcomers to the compiler, making the language we love even better.

quiver

I developedquiveras a tool tohelp with my research,because too much of my time was taken up manually typesetting commutative diagrams in LaTeX. Since its release in November 2020, it's become an invaluable tool for many people in the mathematical community. I have lots of ideas for how to improvequiver(you can seesome of them here) and thus make it even more useful. If you appreciatequiverand want to show your support, I'm very grateful for any contributions, which will allow me to dedicate more time to focus on making the editor even better.

Note about tiers: the tiers are currently a stand-in for a custom donation amount, and, as such, there are no associated rewards: anything is appreciated, and will help me spend more time on Rust andquiver.I'm always happy to discuss the language or compiler, and if you'd like helpstarting with a particular Rust issue,feel free to send me a ping on GitHub,DiscordorZulip.

Current sponsors2

@upsuper
@repi
Past sponsors15
@mverleg
@krupitskas
@graydon
@kevinclancy
@embark-studios
@is8ac
@Conaws
@lcnr
@toinbis
Private Sponsor
@spastorino
@nicolo-ribaudo
Private Sponsor
@mo8it
@atsmyles

Featured work

  1. varkor/quiver

    A modern commutative diagram editor for the web.

    JavaScript 2,412
  2. varkor/pokengine

    An online Pokémon battle system for the web

    JavaScript 54
  3. varkor/Epilog

    A toy Prolog compiler

    C++ 4
  4. varkor/DISTORT

    A small game demonstrating a grid distortion effect

    JavaScript 14
  5. varkor/reflections

    Experiments in rendering nonaffine transformations

    Rust 3
  6. rust-lang/rust

    Empowering everyone to build reliable and efficient software.

Learn more about sponsoring developers and organizations.

Report abuse

Select a tier

$ a month

Choose a custom amount.

$1 a month

Select

Show that you appreciate the things I'm working on, whether on Rust or onquiver.If this tier were a crystal habit, metaphorically speaking, it would be acicular.

$5 a month

Select

Show that you appreciate the things I'm working on, whether on Rust or onquiver.If this tier were a sound, metaphorically speaking, it would be a Shepard tone.

$10 a month

Select

Show that you appreciate the things I'm working on, whether on Rust or onquiver.If this tier were a category, metaphorically speaking, it would be a monoidal-closed category.

$20 a month

Select

Show that you appreciate the things I'm working on, whether on Rust or onquiver.If this tier were a cephalopod, metaphorically speaking, it would be a colossal squid.