Wikipedia:Articles for deletion/Gezel

The following discussion is an archived debate of the proposed deletion of the article below. Please do not modify it. Subsequent comments should be made on the appropriate discussion page (such as the article's talk page or in a deletion review). No further edits should be made to this page.

The result was no consensus. WP:NPASR applies. ✗plicit 23:51, 25 July 2022 (UTC)

Gezel

[Hide this box] New to Articles for deletion (AfD)? Read these primers!

• How to contribute
• Introduction to deletion process
• Guide to deletion (glossary)
• Help, my article got nominated for deletion!

Gezel (edit | talk | history | protect | delete | links | watch | logs | views) – (View log | edits since nomination)

(Find sources: Google (books · news · scholar · free images · WP refs) · FENS · JSTOR · TWL)

Creating an AfD for further discussion after PROD was contested. I think the article does not quite meet WP:GNG -- the Scholar, Books, and JSTOR links do not demonstrate notable *independent* coverage beyond the original line of research. If others disagree and think GNG is met, WP:PAGEDECIDE applies: in that case, I think this article's topic is best mentioned as part of a larger article, such as in one of the tables at Hardware description language. Caleb Stanford (talk) 22:07, 4 July 2022 (UTC)

• Comment: I looked a bit further into references on Gezel to determine notability. A few links

• Hansen, Michael R.; Madsen, Jan; Brekling, Aske Wiid (2007), Jones, Cliff B.; Liu, Zhiming; Woodcock, Jim (eds.), "Semantics and Verification of a Language for Modelling Hardware Architectures", Formal Methods and Hybrid Real-Time Systems: Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays, Berlin, Heidelberg: Springer, pp. 300–319, doi:10.1007/978-3-540-75221-9_13, ISBN 978-3-540-75221-9, retrieved 2022-07-04
• Schaumont, Patrick R. (2012-11-27). A Practical Introduction to Hardware/Software Codesign. Springer Science & Business Media. ISBN 978-1-4614-3737-6.
• a GitHub repo for Gezel syntax highlighting (last updated 10 years ago)
• A GitHub repo with homework in Gezel

Caleb Stanford (talk) 22:17, 4 July 2022 (UTC)

• Note: This discussion has been included in the list of Computing-related deletion discussions. Shellwood (talk) 23:01, 4 July 2022 (UTC)

Relisted to generate a more thorough discussion and clearer consensus.
Relisting comment: Previously nominated via WP:PROD, ineligible for soft deletion.
Please add new comments below this notice. Thanks, ✗plicit 23:46, 11 July 2022 (UTC)

Relisted to generate a more thorough discussion and clearer consensus.
Please add new comments below this notice. Thanks, Liz ^{Read! Talk!} 21:05, 18 July 2022 (UTC)

The above discussion is preserved as an archive of the debate. Please do not modify it. Subsequent comments should be made on the appropriate discussion page (such as the article's talk page or in a deletion review). No further edits should be made to this page.