30 Jan 26
The Kani Rust Verifier is a bit-precise model checker for Rust.
26 Jan 26
home instance at https://0x0.st, author page at https://dibi.dev/
25 Jan 26
24 Jan 26
Free encrypted video calls. No downloads, no accounts required for guests. Simple, secure video meetings.
23 Jan 26
audio toy
Free encrypted video calls. No downloads, no accounts required for guests. Simple, secure video meetings.
System font stack CSS organized by typeface classification for every modern OS.
System font stack CSS organized by typeface classification for every modern OS.
22 Jan 26
freedomofpress/dangerzone: Take potentially dangerous PDFs, office documents, or images and convert them to safe PDFs
Take potentially dangerous PDFs, office documents, or images and convert them to safe PDFs - freedomofpress/dangerzone
Resource hub for Obsidian resources. Contribute to obsidian-community/obsidian-hub development by creating an account on GitHub.
A simple printable calendar with the full year on a single page
via: https://ln.ht/?v=popular
21 Jan 26
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.