varkor

quiver. A modern commutative diagram editor for the web.

pokengine. An online Pokémon battle system for the web

tangle. A modern string diagram editor for the web.

DISTORT. A small game demonstrating a grid distortion effect

blog. A small blog about type theory and mathematics

Epilog. A toy Prolog compiler

awesome-tikz. A curated list of awesome TikZ documentations, libraries and resources

reflections. Experiments in rendering nonaffine transformations

siteswap. A siteswap library for JavaScript.

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

tikzcd-editor. A simple visual editor for creating commutative diagrams.

chalk. A PROLOG-ish interpreter written in Rust, intended eventually for use in the compiler

quiver-whiteboard. A collaborative whiteboard

spade. Spatial Data Structures for Rust

australian-category-seminar. JavaScript

vscoq. Coq Support for Visual Studio Code

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

jsx-tikzcd. Render tikzcd diagrams with JSX.

rust. A safe, concurrent, practical language.