varkor

quiver

A modern commutative diagram editor for the web.

tangle

A modern string diagram editor for the web.

DISTORT

A small game demonstrating a grid distortion effect

awesome-tikz

A curated list of awesome TikZ documentations, libraries and resources

blog

A small blog about type theory and mathematics

reflections

Experiments in rendering nonaffine transformations

tikzcd-editor

A simple visual editor for creating commutative diagrams.

australian-category-seminar

jsx-tikzcd

Render tikzcd diagrams with JSX.

quiver-whiteboard

A collaborative whiteboard

rust

A safe, concurrent, practical language.

siteswap

A siteswap library for JavaScript.

bitflags

A macro to generate structures which behave like bitflags

cargo

The Rust package manager

compiler-builtins

Porting `compiler-rt` intrinsics to Rust

ena

An implementation of union-find / congruence-closure in Rust. Extracted from rustc for independent experimentation.

europroofnet.github.io

Sources of the EuroProofNet web site.

fmt-rfcs

RFCs for Rust formatting guidelines and changes to Rustfmt

getopts

highfive

Github hooks to provide an encouraging atmosphere for new contributors

libm

A port of MUSL's libm to Rust.

llvm-project

Rust-specific fork of LLVM.

miri

An interpreter for Rust's mid-level intermediate representation

reference

The Rust Reference

rfcs

RFCs for changes to Rust

rustc-demangle

Rust symbol demangling

rustc-guide

A guide to how rustc works and how to contribute to it.

test-pull-requests-arbitary-content-on-clone

Can you make people clone aribtary content from a repository by just submitting a pull request to that repository?

thanks

Celebrate Rust contributors.

varkor.github.io