A compiler for homomorphic encryption

React, Angular and Vue rendered into a terminal through TermDOM — with their own stock DOM renderers, no custom reconciler

bikeshaving.org website

Spec-compliant IndexedDB for server runtimes (Node & Bun), with pluggable in-memory and SQLite backends.

List of projects that provide terminal user interfaces

Whiteboard for Driving Scenarios🚗

ZK Poker on Mina with o1js

A tool set for CSS including fast detailed parser, walker, generator and lexer based on W3C specs and browser implementations

​A register-based reactivity system designed for dependency tracking and automated state synchronization within virtual machine architecture.

CSS Object Model implemented in pure JavaScript. Also, a CSS parser.

Fast CSS Selectors API Engine

Build terminal apps with HTML, CSS and the DOM.

The Wyzer Programming Language

Secure and fast microVMs for serverless computing.

TUI for tabaholics

Agent workspace built on Cloudflare Workers for creating documents, building apps, and running agents with your company’s context and systems.

a rust based tui an alternative to sourcetree

IndexedDB, but with promises

A library for building dynamic terminal apps, using bonsai

A library for building dynamic webapps, using Js_of_ocaml

Virtual machines for iOS and macOS

Experimentation using the xla compiler from rust

Moshi is a speech-text foundation model and full-duplex spoken dialogue framework. It uses Mimi, a state-of-the-art streaming neural audio codec.

Lean 4 programming language and theorem prover

A board replacement for the classic Casio F-91W wristwatch

A cozy terminal clubhouse for developers. Lofi beats, casual games, chat, and tech news, all via SSH.