| 1. | | Open Data Description Language (openddl.org) |
| 66 points by themk on March 10, 2024 | past | 8 comments |
|
| 2. | | Planned Deprecation of Dispatch.sr.ht (sourcehut.org) |
| 9 points by themk on Aug 1, 2022 | past | 1 comment |
|
| 3. | | SeedRNG – Simple utility for seeding the Linux kernel RNG with seed files (zx2c4.com) |
| 2 points by themk on March 30, 2022 | past |
|
| 4. | | Neptune OS: a WinNT personality of the seL4 microkernel (github.com/cl91) |
| 142 points by themk on Feb 23, 2022 | past | 22 comments |
|
| 5. | | Seprintf (causal.agency) |
| 2 points by themk on June 13, 2021 | past | 1 comment |
|
| 6. | | Unpasswords – Password Anti-Management (causal.agency) |
| 3 points by themk on April 25, 2021 | past |
|
