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
Category: Utilities
22 Best Free and Open Source Linux Application Launchers
Application launchers play an integral part in making the Linux desktop a more productive environment to work and play.
Read more
gucharmap – character map
GNOME Character Map (gucharmap) is a Unicode character map. This software allows characters to be displayed by unicode block or script type.
Read more
Best Free and Open Source Alternatives to Microsoft Character Map
Character Map is a utility to view the characters in any installed font, to check what keyboard input is used to enter those characters.
Read more
Characters – simple utility application to find and insert unusual characters
Characters is a simple utility to find and insert unusual characters. It allows users to quickly find the character sought.
Read more
KCharSelect – character map tool
KCharSelect is a tool to select special characters from all installed fonts and copy them in different format.
Read more
Charmap – powerful character map
Charmap is a powerful character map. It works on Unix-like operating systems with the GNUstep installed.
Read more
Best Free and Open Source Alternatives to Microsoft Narrator
Narrator is a screen reader that’s included with every copy of Microsoft Windows. We recommend the best free and open source alternatives.
Read more
13 Best Free and Open Source Universal Access Tools
Accessibility is the degree to which products, devices, services, or environments are available to as many people as possible whatever their circumstances. Accessibility is paramount. Social inclusion is not an act of charity but a fundamental human right.
Read more
10 Best Free and Open Source Virtual Keyboards
The software displays a visual keyboard with all the standard keys.
Read more
Mouse actions – execute commands from mouse events
Mouse actions allows users to execute some commands from mouse events such as clicks / wheel on the side / corners of the screen, or drawing shapes.
Read more
7 Best Free and Open Source Screen-Readers
A screen-reader is a computer application designed to provide spoken feedback to a blind or visually impaired person. We recommend the best free and open source software.
Read more
Odilia – Rust-based screen reader
Odilia is a screen reader for the Linux desktop. It’s fast and easy to build from the source code.
Read more
CoreKeyboard – simple virtual keyboard with word suggestions
CoreKeyboard is an X11 based virtual keyboard. It works on all desktop environments, platforms and all text entry widgets.
Read more
Speakup – screen review package
Speakup is a screen review package. It’s present in the Linux kernel.
Read more
GNOME On Screen Keyboard (GOK)
The GNOME desktop environment includes an on-screen keyboard.
Read more
Linux Assistant – tool to help you master Linux system administration
Linux Assistant is a helper tool that aims to guide you through your daily Linux usage. It performs a variety of system tasks.
Read more
duff – command-line utility for finding duplicate files
duff is a command-line utility for identifying duplicates in a given set of files
Read more
samanlainen – delete duplicate files
samanlainen is a CLI tool that deletes duplicate files. It’s written in the Rust programming language and published under the Apache license.
Read more
jless – command-line JSON viewer
jless is a command-line JSON viewer. Use it as a replacement for whatever combination of less, jq, cat, and text editor.
Read more