| | Show HN: BookmarkFS – A pseudo-filesystem for managing web browser bookmarks (nongnu.org) |
|
4 points by cismonx 11 days ago | past | discuss
|
|
| | Why 26.6? (nongnu.org) |
|
2 points by cod1r 48 days ago | past
|
|
| | Ironclad (formally verified kernel) 0.6.0 released (nongnu.org) |
|
2 points by gneuromante 70 days ago | past
|
|
| | Show HN: A Common Lisp implementation in development (nongnu.org) |
|
18 points by andreamonaco 3 months ago | past | 9 comments
|
|
| | Xz format inadequate for long-term archiving (nongnu.org) |
|
4 points by fanf2 5 months ago | past | 1 comment
|
|
| | LwIP – Lightweight IP Stack (nongnu.org) |
|
183 points by fidotron 7 months ago | past | 57 comments
|
|
| | Skribilo: The Document Programming Framework (nongnu.org) |
|
84 points by Tomte 8 months ago | past | 16 comments
|
|
| | FastCGI – The Forgotten Treasure (nongnu.org) |
|
4 points by ibobev 8 months ago | past
|
|
| | CHICKEN Scheme 5.4.0 has been released (nongnu.org) |
|
4 points by mario-goulart 9 months ago | past
|
|
| | Statement about the Maintenance of Lzip (nongnu.org) |
|
1 point by todsacerdoti on April 5, 2024 | past
|
|
| | [flagged] Xz format inadequate for long-term archiving (2016) (nongnu.org) |
|
101 points by oriettaxx on March 30, 2024 | past | 25 comments
|
|
| | Xz format inadequate for long-term archiving (2016) (nongnu.org) |
|
17 points by MaximilianEmel on March 29, 2024 | past | 9 comments
|
|
| | Lzip – A Lossless Data Compressor (nongnu.org) |
|
3 points by LeoPanthera on March 29, 2024 | past
|
|
| | Geiser (nongnu.org) |
|
1 point by swatson741 on March 1, 2024 | past
|
|
| | Ironclad: A formally verified, hard real-time capable kernel in Ada (nongnu.org) |
|
31 points by azoriousrange on Jan 8, 2024 | past | 4 comments
|
|
| | Ironclad: A formally verified Posix-compatible kernel written in Ada (nongnu.org) |
|
5 points by ajdude on Jan 3, 2024 | past | 1 comment
|
|
| | TXR Lisp (nongnu.org) |
|
152 points by tosh on Dec 8, 2023 | past | 27 comments
|
|
| | Org Edna: Extensible Dependencies ’N’ Actions (EDNA) for Org Mode Tasks (nongnu.org) |
|
1 point by vpt on April 27, 2023 | past
|
|
| | Flooding attack against synchronising PGP keyservers (nongnu.org) |
|
1 point by upofadown on March 29, 2023 | past
|
|
| | Skribilo: Document Programming Framework (nongnu.org) |
|
48 points by Tomte on Jan 9, 2023 | past | 17 comments
|
|
| | Xz format considered inadequate for long-term archiving (2016) (nongnu.org) |
|
248 points by goranmoomin on July 24, 2022 | past | 157 comments
|
|
| | One-Time Password Tool (nongnu.org) |
|
1 point by kristianpaul on May 23, 2022 | past
|
|
| | GNUstep Application Project (nongnu.org) |
|
1 point by pabs3 on April 4, 2022 | past
|
|
| | Gzochi: Scalable middleware for MMOs for developing games in GNU Guile (nongnu.org) |
|
5 points by shiryel on March 9, 2022 | past
|
|
| | Techne – general, programmable, interactive, physical simulator and renderer (nongnu.org) |
|
1 point by pabs3 on Feb 18, 2022 | past
|
|
| | 2002: Pupa was a research project for the next generation of GNU GRUB (nongnu.org) |
|
1 point by doener on Feb 5, 2022 | past
|
|
| | FastCGI – The Forgotten Treasure (2002) (nongnu.org) |
|
2 points by dsego on Jan 28, 2022 | past
|
|
| | Adonthell: An open source role playing game engine (nongnu.org) |
|
3 points by podiki on Oct 15, 2021 | past
|
|
| | Enigma: Puzzle Game with a Dexterity Component (nongnu.org) |
|
1 point by marcodiego on Sept 13, 2021 | past
|
|
| | Skribilo: A Document Programming Framework (nongnu.org) |
|
119 points by Tomte on June 13, 2021 | past | 22 comments
|
|
|
|
More |
