PVS is a specification and verification system that combines an expressive specification language with support tools and an interactive theorem prover.
Read more
14 Best Free and Open Source Linux Renderers
We recommend awesome free and open source software for rendering.
Read more
Ubuntu Sans – contemporary sans-serif typeface
Ubuntu Sans is a contemporary sans-serif typeface designed for clarity across user interfaces, documents and display text.
Read more
Hot Free and Open Source Application Servers for Lua
An application server is computer software which provides the business logic for an application program. Here’s our recommended servers for Lua.
Read more
GOST – simple security tunnel
GOST is a simple security tunnel. It provides proxying, port forwarding, and reverse proxy capabilities with flexible protocol chaining.
Read more
8 Best Free and Open Source Graphical Gemini Clients
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 – text extraction tool
OCR4Linux is a text extraction tool that captures a selected screen area, performs OCR, and copies the extracted text to the clipboard.
Read more
Yoda – graphical browser for the Gemini protocol
Written in Rust, Yoda uses GTK 4 and Libadwaita to provide a modern Linux desktop interface.
Read more
ATK Dragonfly A9 Air Ultimate Lightweight Wireless Mouse Review
ATK Dragonfly A9 Air Ultimate review covering Linux compatibility, build quality, 8K wireless performance, battery life and usability.
Read more
Mark Shot – screenshot and annotation tool
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 – displays live diffs as files change
Livediff is a lightweight terminal application that displays live diffs as files change.
Read more
LISA (LISA Is Sets Automated) – proof assistant
LISA (LISA Is Sets Automated) is a proof assistant based on first-order logic sequent calculus and set theory.
Read more
11 Best Free and Open Source Text-Based Mastodon Clients
Mastodon is a free and open source microblogging platform similar to X, but with user privacy and decentralization in mind.
Read more
Source Serif – serif typeface
Source Serif is a serif typeface designed to complement the Source Sans family.
Read more
8 Top Free and Open Source Erlang Web Frameworks
One of the types of software that’s important for a web developer is the web framework. We explore Erlang web frameworks.
Read more
Tracee – runtime security and observability tool
Tracee is a runtime security and observability tool that uses eBPF to monitor system and application behaviour.
Read more
Lambdapi – interactive proof assistant
Lambdapi is an interactive proof assistant based on the λΠ-calculus modulo rewriting.
Read more
Hades – host-based intrusion detection system
Hades is a host-based intrusion detection system (HIDS) that uses eBPF and the netlink process connector to monitor activity on Linux systems.
Read more
Shopware – headless ecommerce platform
Shopware is a headless ecommerce platform powered by Symfony and Vue.js.
Read more
BOSGAME VTA-439 Mini PC running Linux – Noise
BOSGAME VTA-439 noise tested under Linux. I assess fan behaviour, acoustics at idle and heavy load, and the mini PC’s BIOS fan options.
Read more