vezwork

Polytope

Experimental, recursively-embeddable, domain-specific editors and text editor

polylab

Polylab polylog pollywog

3c

3d drawing

modallogic

Epistemic Logic Playground

brilliant-light

An interactive exploration of how light reflects!

1lab

A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory

4Birds

agda

Agda is a dependently typed programming language / interactive theorem prover.

akita

A browser extension that gives you insight into your involvement with web monetization.

akita-project-site

The website for the Akita project, including info about the Akita extension, "A Web Monetization Story", and our outreach.

blocks-polytope

A Polytope GitHub block

bluefish

A SolidJS diagramming framework

borzoi

Project for the Betahack "Fix the Internet" Hackathon (August 17th-21st, 2020)

browser-compat-data

This repository contains compatibility data for Web technologies as displayed on MDN

completestone

game LD 41

CPSC-481-Portfolio

The portfolio website for CPSC 481

create-react-app

Set up a modern web app by running one command.

elliot.website

My portfolio website

forem

For empowering community 🌱

gltfjsx

🎮 Turns GLTFs into JSX components

input

javascript synchronous input, made with games in mind.

joyride

natural_number_game

Building the natural numbers in Lean.

Ocru

Open Canvas Rendering Utility -- alpha development

react-three-fiber

🇨🇭 A React renderer for Three.js

solid-docs

Cumulative documentation for SolidJS and related packages.

spindle-plot

an exploration of mixed 2D plot and table interactions. It was produced as part of the interview process at Spindle.

stlouis2023

LoFiUnconf in St Louis after Strange Loop

syntexact

rendering the js AST in a nice way WIP

vezwork.github.io

The CAMPfire live