30 Jan 26

The Kani Rust Verifier is a bit-precise model checker for Rust.

by arbormoss 15 days ago

26 Jan 26

home instance at https://0x0.st, author page at https://dibi.dev/

by arbormoss 19 days ago

24 Jan 26

Free encrypted video calls. No downloads, no accounts required for guests. Simple, secure video meetings.

by tobhar 20 days ago saved 2 times

23 Jan 26



Free encrypted video calls. No downloads, no accounts required for guests. Simple, secure video meetings.

by edwardloveall 22 days ago saved 2 times
Tags:

System font stack CSS organized by typeface classification for every modern OS.

by nhdbie 22 days ago saved 19 times
Tags:

System font stack CSS organized by typeface classification for every modern OS.

by stephanmax 22 days ago saved 19 times

22 Jan 26

by nhdbie 23 days ago saved 4 times

Take potentially dangerous PDFs, office documents, or images and convert them to safe PDFs - freedomofpress/dangerzone

by nhdbie 23 days ago saved 2 times

Resource hub for Obsidian resources. Contribute to obsidian-community/obsidian-hub development by creating an account on GitHub.

by nhdbie 23 days ago




A simple printable calendar with the full year on a single page

via: https://ln.ht/?v=popular

by nhdbie 23 days ago saved 5 times

21 Jan 26


Architecture-as-a-code and toolchain for your architecture diagrams

by mfred 24 days ago
Tags:

20 Jan 26

100% Private and Local PDF Tools. Merge, compress, and convert PDFs entirely in your browser. No uploads, no cloud, no tracking. The secure alternative to iLovePDF.

by tobhar 25 days ago saved 2 times