Repository Index

A TLA+ interpreter and model checker in TypeScript

• formal-verification
• tlaplus
• typescript

Node.js implementation of the Web Bluetooth Specification

Components for interactive scientific writing, reactive documents and explorable explanations.

• webcomponents
• writing
• explorable-explanations
• exploratory-data-visualizations

Encrypted Chat. No History. No Logs.

• encryption
• nacl
• chat
• secure

Homematic Device Configuration and Administration

• smarthome
• homematic
• configuration
• bidcos

Cross-platform GitHub contribution streak and statistic tracking menu bar application with reminder notification

• github
• contribution
• streak
• contribution-graph

Official community continuation of Harbor's vision

Rust-like error handling and options for Bun, Deno and Node.

• deno
• typescript
• rust
• error-handling

Out-of-the-box E2E relay server (relay-e2e/v1) for Cloudflare Workers — one-command deploy. Reference agent & client included. Distilled from Alma with permission.

• cloudflare-workers
• durable-objects
• e2e-encryption
• pake

SUSHI (aka "SUSHI Unshortens Short Hand Inputs") is a reference implementation command-line interpreter/compiler for FHIR Shorthand (FSH).

A single-file <1kb min+gzip simplified implementation of the reactive core of Solid, optimized for clean code.

• reactivity
• simple
• solid
• tiny

Animal shelter & adoption management prototype — role-based workflows, rule-based listing, applicant ranking, audit trail.

AI video factory: from one topic to a finished, multilingual YouTube video. Claude agents write, plan, draw and review; a Studio keeps the human in charge.

• ai-video
• animation
• claude
• remotion

Theme from Chinese traditional color for IDE, Terminal, Agent, etc

• color-theme
• theme
• themes
• vscode-extension

Building a open source multiplayer 3d rpg using babylon.js and colyseus

• babylonjs
• colyseus
• typescript
• multiplayer

Manage AWS organizations, organizational units (OU), accounts and service control policies (SCP).

• aws
• cdk
• organizations
• account

Desktop-first, open-source (MIT) application for running parallel agents, and multi-step custom workflows triggered by schedules, webhooks or events from tools like Linear and Sentry, across your already-used providers.

• ai-agents
• automation
• claude-code
• codex

TranslatedDesign styles, motion films, visual guides & editable source code.

A built-time CSS library for styling React components.

• css-library
• annotations
• react-style
• loader

Sync-in Desktop · Full-featured app for file sync and server access

• synchronization
• windows
• linux
• macos

svelte support for (Neo)Vim

• svelte
• lsp
• neovim
• vim

Github Action to build and test ROS 2 packages using colcon

• ros2
• ci
• colcon
• testing

AI writing assistance. Free & open source. Offline English and German grammar checks, with rewrites and translation through your own AI.

• chrome-extension
• grammar-checker
• writing-assistant

Tree diagrams with JavaScript :evergreen_tree: :chart_with_upwards_trend:

• tree
• javascript
• visualization
• big-data