A proof assistant or interactive theorem prover is a software tool to assist with the development of formal proofs by human-machine collaboration.
Read more
8N1Term – serial terminal
8N1Term is billed as a next-generation serial terminal that removes ASCII table lookup.
Read more
4 Best Free and Open Source F# Static Site Generators
We have compiled a list of 4 best F# static site generators. These tools are released under a freely distributable license.
Read more
Hexus – process manager
Hexus is a process manager built using .NET 10 designed to work on Linux and Windows seamlessly.
Read more
zigfetch – system profiler
Zigfetch is a minimal neofetch/fastfetch like system information tool.
Read more
httpx – fast and multi-purpose HTTP toolkit
httpx is a fast and multi-purpose HTTP toolkit that allows running multiple probes using the retryablehttp library.
Read more
Anvil – streamline tool installation and team onboarding
Install the tools you need, sync your configs, and keep your environment consistent with a single command-line tool.
Read more
Best Free and Open Source Software: January 2026 Updates
January 2026 updates to the largest compilation of recommended free and open source software available for Linux.
Read more
11 Best Free and Open Source Virtual Keyboards
The software displays a visual keyboard with all the standard keys.
Read more
YuFi – lightweight Wi-Fi manager
YuFi is a lightweight GTK4 Wi‑Fi manager. It focuses on a clean, minimal dashboard for quick toggles, scanning, and network management.
Read more
wvkbd – on-screen keyboard for wlroots
wvkbd aims to deliver a minimal but practically usable implementation of a wlroots on-screen keyboard in legible C.
Read more
9 Best Free and Open Source Elixir Static Site Generators
We have compiled a list of 9 best Elixir static site generators. These tools are released under a freely distributable license.
Read more
Stratis – local storage management
Stratis is a tool to easily configure pools and filesystems with enhanced storage functionality.
Read more
12 Best Free and Open Source Digital Audio Workstations
A digital audio workstation (DAW) is an electronic device or application software used for recording, editing and producing audio files.
Read more
Alternatives to popular CLI tools: jq – JSON processor
This article spotlights alternative tools to jq, a command-line JSON processor.
Read more
6 Top Free and Open Source Ruby Web Frameworks
When it comes to web development, there are a fairly small range of Ruby frameworks to choose. The choice depends on finding the right tool for the job at hand.
Read more
qq – jq but an interoperable configuration format transcoder
qq is multi modal, and can be used as a replacement for jq or be interacted with via a REPL.
Read more
11 Best Free and Open Source Ray Tracing Software
Ray tracing is a technique for modeling light transport for use in a wide variety of rendering algorithms for generating digital images.
Read more
Flow – static type checker
Flow is a static type checker for your JavaScript code. It does a lot of work to make you more productive.
Read more
3 Top Free and Open Source Perl Web Frameworks
A web framework offers the developer a choice about how to solve a specific problem. We pick the best Perl web frameworks.
Read more