💫 Toolkit to help you get started with Spec-Driven Development

An effect system for TypeScript inspired by algebraic effects.

Type-safe, ergonomic, polymorphic optics for TypeScript

Scalable state management for modern TypeScript applications.

Type-driven finite state machines

Collection of HTML5 and flash games, plus webretro

RowScript programming language, making a better browser world

A well-documented minimal dependently-typed language for my friend Lyzh

textlint is the pluggable linter for natural language text.

💬 Chat with anyone on any website.

Create beautiful diagrams just by typing notation in plain text.

Semantic Search on Wikipedia with Upstash Vector

egraphs + datalog!

A new kind of visual programming

Automatically generate a GraphQL API for any SQLite database

D2 is a modern diagram scripting language that turns text to diagrams.

⭐️ A friendly language for building type-safe, scalable systems!

A plug-and-play, highly customizable block-based rich text editor. Supports block/inlineBlock development with any framework, including React/Vue.

List of papers studying machine learning through the lens of category theory

React Strict DOM (RSD) standardizes the development of styled React components for web and native.

A language with lexical effect handlers and lightweight effect polymorphism

Makepad is a creative software development platform for Rust that compiles to wasm/webGL, osx/metal, windows/dx11 linux/opengl

Collabs library monorepo

Lexicographically-ordered position strings for collaborative lists and text

Uniquely Dense Total Orders for List/Text CRDTs

It's vanilla-extract with extra flavours (support for React Native Android/iOS/windows/OSX)

🦎 Use Tailwind CSS in React Native projects

Headless TypeScript ORM with a head. Runs on Node, Bun and Deno. Lives on the Edge and yes, it's a JavaScript ORM too 😅

Rich-text editor with AI, MCP, and shadcn/ui