The Incredible Proof Machine

A trivial React app to watch some automerge document IDs

Arithmetic and polynomial operations in finite fields.

a tiny tool for visualising substructual sharing in data structures 🕵️‍♀️

Repositioning and resizing of images and text directly in quarto revealjs slides

repositioning and resizing of images directly in quarto revealjs slides

Repository for explainers and other documents related to the Isolated Web Apps proposal.

A markup-based typesetting system that is powerful and easy to learn.

interactive network visualization

Composable autodiff for the interactive web.

Open source comprehensive 2D content creation tool suite for graphic design, digital art, and interactive real-time motion graphics — featuring node-based procedural editing

Electric Clojure: full-stack differential dataflow for UI

Glisp is a Lisp-based design tool that combines generative approaches with traditional design methods, empowering artists to discover new forms of expression.

{🍁} a collection of tech meetups in the ottawa / gatineau "national capital region" (ncr)

A type theory for tiny objects

Opinionated Ink Physics

🔵🟠 Portal Explorer — web visualization of mind-blowing portals using ray-tracing.

Cassowary/JS, better, faster, future-ready

Fast TypeScript implementation of the Cassowary constraint solving algorithm (soon for AssemblyScript / WebAssembly).

An online tool for sketching and sharing instrumental melodies.

A Stream-Oriented UI library for the Rx.Observable Universe.

Tentpole home page

Helper toolkit for creating your own Lean 4 UserWidgets

A small Lisp interpreter in JavaScript

A puzzle game about changing the rules (Baba Is You clone)

A new kind of visual programming

The Egison Programming Language