Change of Name: Coq –> The Rocq Prover (github.com) | HN Screenshots

YHacker Newsscreenshots

Screenshot of github.com: Change of Name: Coq –> The Rocq Prover

First screen, captured 2 years ago.

Looks similar

Screenshot of github.com: Show HN: Convert from MIDI file to ASCII tablature (and more)

Show HN: Convert from MIDI file to ASCII tablature (and more)(github.com)

31 points by ycombiredd 1 year ago | 6 comments

Screenshot of github.com: Cqd: Colour my __dir__ please

Cqd: Colour my dir please (github.com)

36 points by jasepickup 1 year ago | 7 comments

Screenshot of github.com: Luon programming language

Luon programming language (github.com)

196 points by thunderbong 1 year ago | 96 comments

Screenshot of github.com: Cmapv2: A high performance, concurrent map

Cmapv2: A high performance, concurrent map (github.com)

39 points by sirgallo 1 year ago | 15 comments

Screenshot of github.com: Show HN: CodinIT, local open-source Lovable alternative (Electron desktop app)

Show HN: CodinIT, local open-source Lovable alternative (Electron desktop app)(github.com)

7 points by Gerome24 10 months ago | 2 comments

Screenshot of github.com: Show HN: We packaged an MCP server inside Chromium

Show HN: We packaged an MCP server inside Chromium (github.com)

26 points by felarof 1 year ago | 11 comments