SQLite tools for Kysely, include auto serialize plugin, sql.js / sqlite wasm / node-sqlite3-wasm / sqlite worker / Tauri sqlite plugin / bun:sqlite dialects

In Browser PostgreSQL Playground, no server, just client and pglite (postgresql wasm)

Execute a shell command, pipe output directly to your console

TypeScript package which smartly trims and strips indentation from multi-line strings

A simple code editor with syntax highlighting.

A Dart implementation for Electric (electric-sql.com).

Sync little subsets of your Postgres data into local apps and services.

The VeriFx automated verification language

The Z3 Theorem Prover

Generator creates zod types for your prisma models with advanced validation

Extrapolating knowledge graphs from unstructured text using GPT-3 🕵️‍♂️

A custom prisma generator that creates Zod schemas from your Prisma model.

Example applications using ElectricSQL.

Work with yarn/npm packages locally like a boss.

ElectricSQL TypeScript client library.