varkor Goto Github PK

minima

Minima is a one-size-fits-all Jekyll theme for writers.

miri

An interpreter for Rust's mid-level intermediate representation

mysorescript

MysoreScript is a simple JavaScript-like language intended for teaching about compilers for late-bound dynamic languages.

nomicon

The Dark Arts of Advanced and Unsafe Rust Programming

omega

A very lightweight DOM manipulation library

pass-the-pigs

A text-based Pass the Pigs simulator. More fun than it sounds.

pegmatite

A library for reusable parsers

pokengine

An online Pokémon battle system for the web

quiver

A modern commutative diagram editor for the web.

quiver-whiteboard

A collaborative whiteboard

reference

The Rust Reference

reflections

Experiments in rendering nonaffine transformations

rfcs

RFCs for changes to Rust

rust

A safe, concurrent, practical language.

rust-central-station

Rust building infrastructure

rustc-demangle

Rust symbol demangling

rustc-guide

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

rustc-perf

Website for graphing performance of rustc

siteswap

A siteswap library for JavaScript.

spade

Spatial Data Structures for Rust

sympy

A computer algebra system written in pure Python

tangle

A modern string diagram editor for the web.

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.

tikzcd-editor

A simple visual editor for creating commutative diagrams.

unicode-latex

A visual studio code extension to insert Unicode symbols given LaTeX symbol names

unimath

This coq library aims to formalize a substantial body of mathematics using the univalent point of view.

varkor.github.io

vscode-indent-one-space

vscoq

Coq Support for Visual Studio Code