We recommend the best configuration management databases.
Read more
We recommend the best configuration management databases.
Read more
River is a serverless group chat application that operates over Freenet’s global peer-to-peer network.
Read more
This article highlights OCR powered screen-capture tools to capture information instead of images.
Read more
Adwaita Fonts includes Adwaita Sans, based on Inter, and Adwaita Mono, a customized Iosevka build.
Read more
Here’s our verdict on the finest web-based Mastodon clients captured in a legendary LinuxLinks-ratings chart.
Read more
F* (pronounced F star) is a programming language designed for writing programs together with machine-checked proofs of their properties.
Read more
gwm is a Git worktree manager offering command-line and terminal interfaces for managing worktrees across projects.
Read more
PVS is a specification and verification system that combines an expressive specification language with support tools and an interactive theorem prover.
Read more
We recommend awesome free and open source software for rendering.
Read more
Ubuntu Sans is a contemporary sans-serif typeface designed for clarity across user interfaces, documents and display text.
Read moreAn application server is computer software which provides the business logic for an application program. Here’s our recommended servers for Lua.
Read more
GOST is a simple security tunnel. It provides proxying, port forwarding, and reverse proxy capabilities with flexible protocol chaining.
Read more
Gemini is a group of technologies similar to the ones that lie behind your familiar web browser. We recommend the best graphical Gemini clients.
Read more
OCR4Linux is a text extraction tool that captures a selected screen area, performs OCR, and copies the extracted text to the clipboard.
Read more
Written in Rust, Yoda uses GTK 4 and Libadwaita to provide a modern Linux desktop interface.
Read more
ATK Dragonfly A9 Air Ultimate review covering Linux compatibility, build quality, 8K wireless performance, battery life and usability.
Read more
Mark Shot is a high-performance screenshot and annotation tool built with Qt 6. It supports Linux desktops running Wayland or X11.
Read more
Livediff is a lightweight terminal application that displays live diffs as files change.
Read more
LISA (LISA Is Sets Automated) is a proof assistant based on first-order logic sequent calculus and set theory.
Read more
Mastodon is a free and open source microblogging platform similar to X, but with user privacy and decentralization in mind.
Read more