agda-web/als-demo

A json rpc implementation over streams

Autocompletion for the CodeMirror code editor

Collection of editing commands for the CodeMirror code editor

Language support infrastructure for the CodeMirror code editor

Linting support for the CodeMirror code editor

Editor state data structures for the CodeMirror code editor

DOM view component for the CodeMirror code editor

A UI library for the Web with a focus on accessibility, longevity, performance, and simplicity.

Browser-only WASI implementation

Adapter for SvelteKit apps that prerenders your entire site as a collection of static files

Basic configuration for the CodeMirror code editor

Comlink makes WebWorkers enjoyable

Create, read and edit .zip files with JavaScript http://stuartk.com/jszip

Single-producer-single-consumer queue that adheres to POSIX's pipe semantics.

TypeScript-first schema declaration and validation library with static type inference

SvelteKit is the fastest way to build Svelte apps

A Vite plugin to generate untrusted certificates for HTTPS dev servers

Cybernetically enhanced web apps

Svelte Code Checker Terminal Interface

TypeScript is a language for application scale JavaScript development

Native-ESM powered web dev build tool

Next generation testing framework powered by Vite