Pinned Repositories
rust
Empowering everyone to build reliable and efficient software.
awesome-tikz
A curated list of awesome TikZ documentations, libraries and resources
blog
A small blog about type theory and mathematics
DISTORT
A small game demonstrating a grid distortion effect
Epilog
A toy Prolog compiler
pokengine
An online Pokémon battle system for the web
quiver
A modern commutative diagram editor for the web.
reflections
Experiments in rendering nonaffine transformations
tangle
A modern string diagram editor for the web.
varkor's Repositories
varkor/quiver
A modern commutative diagram editor for the web.
varkor/tangle
A modern string diagram editor for the web.
varkor/DISTORT
A small game demonstrating a grid distortion effect
varkor/awesome-tikz
A curated list of awesome TikZ documentations, libraries and resources
varkor/blog
A small blog about type theory and mathematics
varkor/reflections
Experiments in rendering nonaffine transformations
varkor/tikzcd-editor
A simple visual editor for creating commutative diagrams.
varkor/jsx-tikzcd
Render tikzcd diagrams with JSX.
varkor/quiver-whiteboard
A collaborative whiteboard
varkor/rust
A safe, concurrent, practical language.
varkor/siteswap
A siteswap library for JavaScript.
varkor/bitflags
A macro to generate structures which behave like bitflags
varkor/cargo
The Rust package manager
varkor/compiler-builtins
Porting `compiler-rt` intrinsics to Rust
varkor/ena
An implementation of union-find / congruence-closure in Rust. Extracted from rustc for independent experimentation.
varkor/europroofnet.github.io
Sources of the EuroProofNet web site.
varkor/fmt-rfcs
RFCs for Rust formatting guidelines and changes to Rustfmt
varkor/getopts
varkor/glutin
Pure Rust alternative to GLFW
varkor/highfive
Github hooks to provide an encouraging atmosphere for new contributors
varkor/libm
A port of MUSL's libm to Rust.
varkor/llvm-project
Rust-specific fork of LLVM.
varkor/miri
An interpreter for Rust's mid-level intermediate representation
varkor/reference
The Rust Reference
varkor/rfcs
RFCs for changes to Rust
varkor/rustc-demangle
Rust symbol demangling
varkor/rustc-guide
A guide to how rustc works and how to contribute to it.
varkor/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?
varkor/thanks
Celebrate Rust contributors.
varkor/varkor.github.io