Top 6 TypeScript Specification Projects
-
Project mention: Taking LLMs to (code) town - part II. Creating a vanilla.js web component toolchain from ground up | dev.to | 2025-01-02
TSDoc Parser
-
CodeRabbit
CodeRabbit: AI Code Reviews for Developers. Revolutionize your code reviews with AI. CodeRabbit offers PR summaries, code walkthroughs, 1-click suggestions, and AST-based analysis. Boost productivity and code quality across all major languages with each PR.
-
-
quint
An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
Looks like there's more information in their readme: https://github.com/informalsystems/quint
> Quint is a modern specification language that is a particularly good fit for distributed systems, such as blockchain protocols, distributed databases, and p2p protocols. Quint combines the robust theoretical basis of the Temporal Logic of Actions (TLA) with state-of-the-art type checking and development tooling.
-
-
Project mention: Show HN: JSON querystring, but compact and human-readable | news.ycombinator.com | 2024-12-09
-
contact-picker-api-demo
An API to give one-off access to a user’s contact information with full control over the shared data.
TypeScript Specification discussion
TypeScript Specification related posts
Index
What are some of the best open-source Specification projects in TypeScript? This list will help you:
# | Project | Stars |
---|---|---|
1 | tsdoc | 4,787 |
2 | openapi-devtools | 4,010 |
3 | quint | 862 |
4 | vscode-tlaplus | 362 |
5 | json-qs | 23 |
6 | contact-picker-api-demo | 6 |