SpecForge – A Platform for Authoring Formal Specifications (docs.imiron.io) | HN Screenshots

YHacker Newsscreenshots

Screenshot of docs.imiron.io: SpecForge – A Platform for Authoring Formal Specifications

First screen, captured 2 months ago.

Looks similar

Screenshot of sharpscript.net: Sharpscript: Lisp for Scripting

Sharpscript: Lisp for Scripting (sharpscript.net)

57 points by behnamoh 3 years ago | 28 comments

Screenshot of hegel.dev: Hegel, a universal property-based testing protocol and family of PBT libraries

Hegel, a universal property-based testing protocol and family of PBT libraries (hegel.dev)

121 points by PaulHoule 6 months ago | 33 comments

Screenshot of opendylan.org: Open Dylan

Open Dylan (opendylan.org)

35 points by ofrzeta 1 year ago | 9 comments

Screenshot of picolisp.com: Everything Picolisp can do, and more

Everything Picolisp can do, and more (picolisp.com)

86 points by damir 1 year ago | 8 comments

Screenshot of wiki.c2.com: Tuple Space (2014)

Tuple Space (2014)(wiki.c2.com)

98 points by paulgb 3 years ago | 50 comments

Screenshot of neutralino.js.org: Neutralinojs – Build lightweight cross-platform desktop apps with JavaScript

Neutralinojs – Build lightweight cross-platform desktop apps with JavaScript (neutralino.js.org)

106 points by thekode 3 years ago | 69 comments