Quint (quint-lang.org) | HN Screenshots

YHacker Newsscreenshots

Screenshot of quint-lang.org: Quint

First screen, captured 2 years ago.

Looks similar

Screenshot of duper.dev.br: Show HN: Duper – The Format That's Super

Show HN: Duper – The Format That's Super (duper.dev.br)

15 points by epiceric 11 months ago | 4 comments

Screenshot of huml.io: Human-Oriented Markup Language

Human-Oriented Markup Language (huml.io)

47 points by vishnukvmd 1 year ago | 68 comments

Screenshot of gittuf.github.io: Gittuf – a security layer for Git

Gittuf – a security layer for Git (gittuf.github.io)

105 points by RyeCombinator 3 years ago | 13 comments

Screenshot of usage.jdx.dev: Usage – a shell completion / manpage / help documentation generator

Usage – a shell completion / manpage / help documentation generator (usage.jdx.dev)

8 points by weaksauce 1 year ago | 1 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 raygard.net: An Awk Implementation in C99

An Awk Implementation in C99 (raygard.net)

100 points by asicsp 2 years ago | 14 comments