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. Learn more →
Top 23 Specification Open-Source Projects
-
Project mention: Show HN: FixBrowser – a lightweight web browser created from scratch | news.ycombinator.com | 2024-12-24
Python may not be the best example, but some other languages also exist and are both less "weird" than https://github.com/denysdovhan/wtfjs and fast (e.g. see http://luajit.org/ which is far less complex than V8).
-
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.
-
Project mention: 🧙♂️ Todas as novas funcionalidades do Javascript desde 2016 até 2025 | dev.to | 2024-11-30
Para ver a lista completa: https://github.com/tc39/proposals/blob/HEAD/finished-proposals.md
-
-
-
-
While this approach solves a number of problems, one of the challenges faced by teams is standardizing events to ensure compatibility between all components. To mitigate this challenge, we can use the CloudEvents project.
-
-
SaaSHub
SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives
-
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
-
spec
The AsyncAPI specification allows you to create machine-readable definitions of your asynchronous APIs. (by asyncapi)
-
-
-
-
-
Features: REST-like CQRS HTTP-API, Faceted Search, Full-text Search Interface: OpenAPI, JSON, JSON API, JSON Schema Query Languages: SQL dialect, Cypher, Gremlin, MQL, GraphQL Ingest Protocols: OAI-PMH, S3 Ingest Encoding: XML Ingest Formats: DataCite, DublinCore, MARC, MODS Deployment: Compose, Docker-Compose, Podman-Compose, K8s (via Kompose) Components: ArcadeDB, Connect, Lowdefy License: MIT
-
-
Project mention: Fluent: A localization system for natural-sounding translations | news.ycombinator.com | 2024-04-26
-
-
Project mention: Show HN: A programmable firehose-to-webhook server for Bluesky / Atproto | news.ycombinator.com | 2024-12-04
-
IMO, there’s a wide unexplored design space between the minimalism of Lisp and richness of other languages. A programming language inspired by something like KDL (https://github.com/kdl-org/kdl) has the potential to be in a very sweet spot between the two. "Everything is a node" instead of "everything is a list" is only slightly more complicated, but also vastly more readable that a soup of parenthesis.
-
substrait
A cross platform way to express data transformation, relational algebra, standardized record expression and plans.
Python's Substrait seems like the biggest/most-used competitor-ish out there. I'd love some compare & contrast; my sense is that Substrait has a smaller ambition, and more wants to be a language for talking about execution rather than a full on execution engine. https://github.com/substrait-io/substrait
We can also see from the DataFusion discussion that they too see themselves as a bit of a Velox competitor. https://github.com/apache/arrow-datafusion/discussions/6441
-
Project mention: I couldn't find a free, no-login, no-AI checklist app–so I built one | news.ycombinator.com | 2024-11-03
xit is this text format: https://xit.jotaen.net/
But this app is for other purposes. Me and my wife add house stuff to a shopping list. We don't want an installed app. Or even login before using a simple list.
-
-
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.
-
SaaSHub
SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives
Specification discussion
Specification related posts
-
Is WebAssembly Memory64 worth using?
-
Show HN: FixBrowser – a lightweight web browser created from scratch
-
Show HN: JSON querystring, but compact and human-readable
-
Macros in Dart
-
🧙♂️ Todas as novas funcionalidades do Javascript desde 2016 até 2025
-
Using CloudEvents in Go
-
Using OpenFeature with ConfigCat
-
A note from our sponsor - CodeRabbit
coderabbit.ai | 9 Feb 2025
Index
What are some of the best open-source Specification projects? This list will help you:
# | Project | Stars |
---|---|---|
1 | wtfjs | 35,354 |
2 | proposals | 18,525 |
3 | fantasy-land | 10,158 |
4 | conventionalcommits.org | 7,368 |
5 | XcodeGen | 7,175 |
6 | spec | 5,201 |
7 | estree | 5,190 |
8 | tsdoc | 4,787 |
9 | spec | 4,433 |
10 | openapi-devtools | 4,009 |
11 | spec | 3,193 |
12 | language | 2,720 |
13 | L5-Swagger | 2,705 |
14 | compose-spec | 2,344 |
15 | 3d-tiles | 2,198 |
16 | fluent | 1,446 |
17 | OpenSLO | 1,376 |
18 | standard-webhooks | 1,367 |
19 | kdl | 1,256 |
20 | substrait | 1,243 |
21 | xit | 1,060 |
22 | design | 1,017 |
23 | quint | 859 |