vezwork Goto Github PK

1lab

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

3c

3d drawing

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.

articles

Simple, raw, and easy to update blogging software

blocks-polytope

A Polytope GitHub block

bluefish

A SolidJS diagramming framework

borzoi

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

brilliant-light

An interactive exploration of how light reflects!

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

gohome

A home file sharing server written in go with a fancy interface.

input

javascript synchronous input, made with games in mind.

joyride

modal-css

Super small, customizable, and easy modal windows!

modallogic

Epistemic Logic Playground

natural_number_game

Building the natural numbers in Lean.

ocru

Open Canvas Rendering Utility -- alpha development

phasocketonline

A server and client for a multiplayer browser game. Server in node.js, game in javascript with phaser and using socket.io for websockets.

pixiglitch

Port of ofxPostGlitch to pixi.js

polylab

Polylab polylog pollywog

polytope

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

react-three-fiber

🇨🇭 A React renderer for Three.js