kevin-dp

kevin-dp's Stars

• Z3Prover/z3

  The Z3 Theorem Prover

  Language:C++10.1k1795.5k1.5k

• electric-sql/electric

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

  Language:Elixir6k40330139

• wclr/yalc

  Work with yarn/npm packages locally like a boss.

  Language:TypeScript5.6k20172148

• varunshenoy/GraphGPT

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

  Language:JavaScript4.3k5528381

• CarterGrimmeisen/zod-prisma

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

  Language:TypeScript79775886

• chrishoermann/zod-prisma-types

  Generator creates zod types for your prisma models with advanced validation

  Language:TypeScript608522146

• uiwjs/react-textarea-code-editor

  A simple code editor with syntax highlighting.

  Language:TypeScript47645622

• datawan-labs/pg

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

  Language:TypeScript3366713

• tamino-martinius/node-ts-dedent

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

  Language:TypeScript1604118

• SkillDevs/electric_dart

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

  Language:Dart1019169

• electric-sql/typescript-client

  ElectricSQL TypeScript client library.

  Language:TypeScript51421

• subframe7536/kysely-sqlite-tools

  SQLite tools for Kysely, include auto serialize plugin, sqlite wasm / sqlite worker / Tauri sqlite plugin / bun:sqlite dialects

  Language:TypeScript44382

• electric-sql/examples

  Example applications using ElectricSQL.

  Language:JavaScript29317

• verifx-prover/verifx

  The VeriFx automated verification language

  Language:Scala20202

• arshaw/shelljs-live

  Execute a shell command, pipe output directly to your console

  Language:TypeScript9201