kevin-dp's Stars
Z3Prover/z3
The Z3 Theorem Prover
electric-sql/electric
Sync little subsets of your Postgres data into local apps and services.
wclr/yalc
Work with yarn/npm packages locally like a boss.
varunshenoy/GraphGPT
Extrapolating knowledge graphs from unstructured text using GPT-3 🕵️♂️
CarterGrimmeisen/zod-prisma
A custom prisma generator that creates Zod schemas from your Prisma model.
chrishoermann/zod-prisma-types
Generator creates zod types for your prisma models with advanced validation
uiwjs/react-textarea-code-editor
A simple code editor with syntax highlighting.
datawan-labs/pg
In Browser PostgreSQL Playground, no server, just client and pglite (postgresql wasm)
tamino-martinius/node-ts-dedent
TypeScript package which smartly trims and strips indentation from multi-line strings
SkillDevs/electric_dart
A Dart implementation for Electric (electric-sql.com).
electric-sql/typescript-client
ElectricSQL TypeScript client library.
subframe7536/kysely-sqlite-tools
SQLite tools for Kysely, include auto serialize plugin, sqlite wasm / sqlite worker / Tauri sqlite plugin / bun:sqlite dialects
electric-sql/examples
Example applications using ElectricSQL.
verifx-prover/verifx
The VeriFx automated verification language
arshaw/shelljs-live
Execute a shell command, pipe output directly to your console