← All projects
Project record02 mentions
Originally shared on Hacker News

Ur

A universal formatter and linter for every programming language, currently in preview. It reimagines the Rascal meta language in Rust with features from JastAdd, and is incremental and persistent between runs thanks to Mambo, a library that replaces Salsa and persists all queries to disk. It also includes static analysis and code rewriting tools that were developed in tandem with a mass rewrite of parts of the Rust compiler.

Last shared
01 / Source history

Shared over time

Each entry reflects what was shared on that date. Details may have changed since then.

  1. Ur

    A universal formatter and linter for every programming language, currently in preview. It reimagines the Rascal meta language in Rust with features from JastAdd, and is incremental and persistent between runs thanks to Mambo, a library that replaces Salsa and persists all queries to disk. It also includes static analysis and code rewriting tools that were developed in tandem with a mass rewrite of parts of the Rust compiler.

    Posted by @knuckleheads · Original comment ↗

    “Ur is an (very in-progress) universal formatter and linter for every programming language. It's in preview right now, which just means friends are messing around with it and having a good time pointing out all the bugs. Docs are mostly up to date, but buyer beware. Implementation wise, it's the Rascal meta language reimagined in Rust with some features from JastAdd thrown in there for good measure. Ur is incremental/persistent between runs, it's built on top of Mambo, a library that drops in as a replacement for Salsa and persists all queries to disk automatically.”
  2. Ur

    This tool is a universal formatter and linter intended to support every programming language. It is currently in preview, with docs mostly up to date.

    Posted by @knuckleheads · Original comment ↗

    “Ur is an (in-progress) universal formatter and linter for every programming language. It's in preview right now, which just means friends are messing around with it and having a good time pointing out all the bugs.”