MCP server for interactive Agda proof development — type-checking, goal inspection, case splitting, proof search, and more via the Model Context Protocol
It's a very fast and efficient glob library for Node.js
Native file system operations for Bare
Fastest HTML entities encode/decode library.
CodeMirror extension for editing Agda
Provides a module to allow keeping the native Splash Screen visible until you choose to hide it.
Offers convenient getters and setters for the stat `mode`
AWS X-Ray SDK for Javascript
Official library for using the Slack Platform's Socket Mode API
Throw, identify, and decode Solana JavaScript errors
Normalizes data that can be found in package.json files.
Dark and light mode for Nuxt with auto detection
Command line interface to DiCy, a builder for LaTeX, knitr, literate Agda, literate Haskell and Pweave that automatically builds dependencies.
A CSS parser, transformer, and minifier written in Rust
This plugin places a 'use strict'; directive at the top of all files to enable strict mode
A set of primitives to build Vercel Edge Runtime.
Better typed `querySelector` and `querySelectorAll`.
Low level bindings for creating Web Standard contexts.
Run any Edge Function from CLI or Node.js module.
A printf-like string formatter for Edge Runtime
A set of helpers for running edge-compliant code in Node.js environment
Toggle between light and dark mode in Storybook
Sane aims to be fast, small, and reliable file system watcher.
React Flow - A highly customizable React library for building node-based editors and interactive flow charts.
Accessing Agda's interaction mode via command line, in Rust
Agda - Tactical And Comprehensible