npm package discovery and stats viewer.

Discover Tips

  • General search

    [free text search, go nuts!]

  • Package details

    pkg:[package-name]

  • User packages

    @[username]

Sponsor

Optimize Toolset

I’ve always been into building performant and accessible sites, but lately I’ve been taking it extremely seriously. So much so that I’ve been building a tool to help me optimize and monitor the sites that I build to make sure that I’m making an attempt to offer the best experience to those who visit them. If you’re into performant, accessible and SEO friendly sites, you might like it too! You can check it out at Optimize Toolset.

About

Hi, 👋, I’m Ryan Hefner  and I built this site for me, and you! The goal of this site was to provide an easy way for me to check the stats on my npm packages, both for prioritizing issues and updates, and to give me a little kick in the pants to keep up on stuff.

As I was building it, I realized that I was actually using the tool to build the tool, and figured I might as well put this out there and hopefully others will find it to be a fast and useful way to search and browse npm packages as I have.

If you’re interested in other things I’m working on, follow me on Twitter or check out the open source projects I’ve been publishing on GitHub.

I am also working on a Twitter bot for this site to tweet the most popular, newest, random packages from npm. Please follow that account now and it will start sending out packages soon–ish.

Open Software & Tools

This site wouldn’t be possible without the immense generosity and tireless efforts from the people who make contributions to the world and share their work via open source initiatives. Thank you 🙏

© 2026 – Pkg Stats / Ryan Hefner

lean-format-vscode

v2.1.0

Published

Syntax highlighting, formatting, and validation for LEAN (Lightweight Efficient Adaptive Notation) format

Vulnerabilities

Powered byPowered by Snyk
  • 0High
  • 0Medium
  • 0Low

Links

Git

Maintainers

leanformatleanformat

Keywords

leandataformatnotationsyntax

Readme

LEAN Format Support for VS Code

Syntax highlighting and language support for LEAN (Lightweight Efficient Adaptive Notation) format.

Features

  • Syntax Highlighting - Beautiful color coding for LEAN files
  • Snippets - Quick templates for common patterns
  • Auto-formatting - Format LEAN files on save
  • Validation - Check LEAN syntax for errors
  • Code Folding - Collapse/expand sections

Syntax Examples

Row Syntax (Compact Tables)

users(id, name, email, age):
    - 1, Alice, "[email protected]", 30
    - 2, Bob, "[email protected]", 25

Nested Objects

project:
    name: "My Project"
    version: 1.0
    config:
        debug: false
        timeout: 5000

Lists

tags:
    - technology
    - programming
    - data

Snippets

Type these prefixes and press Tab:

  • kv - Key-value pair
  • obj - Object with nested properties
  • list - Simple list
  • rows - Row syntax with header
  • users - User table template
  • products - Product catalog template
  • config - Configuration object

Commands

  • LEAN: Validate - Check file syntax
  • LEAN: Convert to JSON - Info about CLI conversion

Color Theme Support

The extension provides optimal syntax highlighting for:

  • Dark+ (default dark)
  • Light+ (default light)
  • Monokai
  • Solarized
  • One Dark Pro
  • All popular VS Code themes

Requirements

  • VS Code 1.80.0 or higher

Extension Settings

This extension contributes the following settings:

  • lean.format.enable: Enable/disable auto-formatting
  • lean.format.indentSize: Set indentation size (2 or 4 spaces)

Installation

From Marketplace

  1. Open VS Code
  2. Go to Extensions (Ctrl+Shift+X)
  3. Search for "LEAN Format"
  4. Click Install

From VSIX

code --install-extension lean-format-1.0.0.vsix

Development

Building

npm install
npm run package

Testing

  1. Open in VS Code
  2. Press F5 to launch Extension Development Host
  3. Open a .lean file to test

Contributing

Contributions are welcome! Please visit: https://github.com/lean-format/vscode-lean

License

MIT License - See LICENSE file for details

More Information

Enjoy working with LEAN format! ✨