HOL4 is an interactive theorem prover for classical higher-order logic. It provides a platform for formalising mathematics.
Read more
Author: Steve Emms
16 Best Free and Open Source Virtual Keyboards
The software displays a visual keyboard with all the standard keys.
Read more
IBM Plex – global typeface family
IBM Plex is a global typeface family developed as IBM’s corporate typeface. It is designed for user interfaces and other applications.
Read more
7 Useful Free and Open Source CSS Code Formatters
This roundup selects some useful code formatters for CSS developers.
Read more
slimg – fast image optimization tool
slimg is a fast image optimization tool. It can convert, compress, resize, crop, and extend images using modern codecs.
Read more
Amon2 – lightweight web application framework
Amon2 is a lightweight web application framework written in Perl. It is designed to be simple, readable, extensible, stable, and fast.
Read more
Malva – fast formatter for CSS, SCSS, Sass and Less
Malva is a configurable, smart and fast formatter for CSS, SCSS, Sass and Less.
Read more
http-server – advanced async HTTP server library
http-server is a non-blocking, concurrent HTTP application server for PHP. It is part of AMPHP, a collection of event-driven libraries
Read more
6 Handy Free Linux Typesetting Systems
Typesetting systems let you generate high quality documentation including books with minimal effort.
Read more
Noto – comprehensive collection of high-quality typefaces
Noto is a comprehensive collection of high-quality typefaces designed to support written communication across more than 1,000 languages and over 150 writing systems.
Read more
11 Useful Free and Open Source Rust TUI frameworks
The software featured in this roundup helps developers create TUI programs. All the software featured is written in Rust.
Read more
Toot – Mastodon client for COSMIC
Toot is a graphical Mastodon client designed for the COSMIC desktop environment.
Read more
MoonRay – production path-tracing renderer
MoonRay is a production path-tracing renderer designed for creating images for animation, visual effects, and other rendering workloads.
Read more
lax – collection of fast formatters
lax is a collection of fast formatters that only adjust whitespace and leave everything else exactly as written.
Read more
bulletty – TUI RSS/Atom feed reader
Explore bulletty, a terminal-based RSS and Atom feed reader with offline access, local Markdown storage, and a keyboard-driven interface.
Read more
14 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
Alhena – graphical browser for exploring Gemini
Alhena is a graphical browser for exploring Gemini, Gopher, Spartan, and Nex spaces.
Read more
bk-cmdb – configuration management database
bk-cmdb is an enterprise-grade configuration management database (CMDB) for managing assets and applications.
Read more
6 Best Free and Open Source Encrypted FUSE-Based File Systems
Here’s our verdict on the popular encrypted FUSE-based file systems.
Read more
Whelk – web API framework
Whelk is a web API framework built on top of the Kelp web framework. It is designed for developing self-documenting, correct and efficient REST APIs.
Read more