Proven - Formally verified safety library for JavaScript
Bundle of Joy (BoJ) MCP Server — cartridge-based DevOps + multi-agent coordination toolkit with 100 domain cartridges (database, container, git, k8s, observability, secrets, IaC, multi-instance AI coord, and more). Formally verified (Idris2) core; MPL-2.0
Minimal and efficient cross-platform file watching library
The fast, flexible & elegant library for parsing and manipulating HTML and XML.
Write state machines once in TypeScript. The compiler mathematically proves correctness via TLA+, then generates runtime code and Postgres constraints from the same source.
Infinite Red's hottest boilerplate for React Native.
pnp - provides shared functionality across all pnp libraries
Fork: HTML parsing/serialization toolset for Node.js. WHATWG HTML Living Standard (aka HTML5)-compliant. Fork from the HTMLParseErrorWG branch.
Lab components of Picasso
pnp - provides a fluent api for working with SharePoint REST
A Javascript library to perform OpenSSL RSA Encryption, Decryption, and Key Generation.
Standardized runtime engine for the ZeroAPI platform — consumes a Spec JSON (DSL) and produces a complete, secured, tested Hono.js API
pnp - light-weight, subscribable logging framework
pnp - provides shared odata functionality and base classes
pnp - provides a fluent interface to query the Microsoft Graph
Sendbird SDK for JavaScript
ClickUp MCP Server - Powering AI Agents with full ClickUp task, document, and chat management capabilities.
The archiver fetches onchain data from L1 and stores it locally in a queryable form. It pulls: - **Checkpoints** (containing L2 blocks) from `CheckpointProposed` events on the Rollup contract - **L1-to-L2 messages** from `MessageSent` events on the Inbox
Ultra-fast cross-platform command line utility to watch file system changes.
No description provided.
ReScript bindings for Proven - code that cannot crash. Calls Idris 2 verified code via Zig WASM ABI.
pnp - provides shared functionality across all pnp libraries
pnp - provides shared odata functionality and base classes
A Claude Code clone powered by OpenAI gpt-5-nano