Explicit state logic model checking tool -- 2002 winner of the ACM System Software Award.

🔥 A list of tools, frameworks, and resources for building AI web agents

A list of AI autonomous agents

Wait4X allows you to wait for a port or a service to enter the requested state.

New time-based UUID formats which are suited for use as a database key

JavaScript/TypeScript SDK for CloudEvents

PowerShell 7.0 SDK for CloudEvents

Python SDK for CloudEvents

A Prometheus exporter for NATS metrics

NATS on Kubernetes with Helm Charts

Architecture and Design Docs

JavaScript client for Node.js, Bun, Deno and browser for NATS, the cloud native messaging system

Convert your PDFs into Markdown files easily with Mistral OCR Software

Debug Lynx On-the-Fly

A dashboard explaining basic financial theory.

NATS Keys for Python

Python3 client for NATS

Quickly navigate your vault using a calendar view, this plugin allows you to create and navigate to periodic notes and notes that are created on a specific date.

Node.js client for NATS, the cloud native messaging system.

㊙️ Create standard barcodes with Python. No external dependencies. 100% Organic Python.

🚫 Stop saying "you forgot to …" in code review (in Ruby)

Add digests to container and init container images in Kubernetes pod and pod template specs. Use either as a mutating admission webhook, or as a client-side KRM function with kpt or kustomize.

Free and Open Source NATS management GUI.

Beautiful React SVG maps with d3-geo and topojson using a declarative api.

Collection of amazing open source React & React native projects

Learn Advanced React Hooks workshop

Feature-rich and customizable data grid React component

🤖 Headless UI for building powerful tables & datagrids for TS/JS - React-Table, Vue-Table, Solid-Table, Svelte-Table