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
Author: Steve Emms
12 Best Free and Open Source Linux eCommerce Software
This feature focuses on shopping cart software, which is software used in eCommerce to enable consumers to purchase goods and services online.
Read more
Libertinus Fonts – comprehensive typeface collection
Libertinus Fonts is a comprehensive typeface collection derived from Linux Libertine and Linux Biolinum.
Read more
SimUtil – launch and manage Android emulators and iOS simulators
SimUtil is a terminal user interface for launching and managing Android emulators and iOS simulators.
Read more
Iodine – high-performance HTTP and WebSocket server
Iodine is a high-performance HTTP and WebSocket server for real-time Ruby applications.
Read more
Nicolino – static site generator
Nicolino is a static site generator written in Crystal. It converts Markdown content into websites containing blog posts, standalone pages
Read more
OpenEduCat – educational ERP system
OpenEduCat is an educational ERP system for managing academic and administrative processes within schools, colleges, universities.
Read more
yamlfmt – format YAML files
yamlfmt is an extensible command-line tool and Go library for formatting YAML files.
Read more
Beelink EQi 304 Mini PC Review – Introduction to the Series
Beelink EQi Core 3 304 Linux review covering design, ports, hardware, Linux compatibility, 10GbE networking and initial performance.
Read more
Hwaro – lightweight and fast static site generator
Hwaro is a lightweight and fast static site generator written in Crystal. It transforms Markdown content with TOML, YAML, or JSON
Read more
mcpsnoop – transparent proxy and terminal interface
mcpsnoop is a transparent proxy and terminal interface to inspect the real Model Context Protocol traffic between AI clients and MCP servers.
Read more
11 Best Free and Open Source Survey Tools
The software featured here lets you build fully-customizable surveys, forms and quizzes.
Read more
Wallaby-VK – virtual on-screen keyboard
Wallaby-VK is a virtual on-screen keyboard for Linux systems with Wayland support.
Read more
Create Vector Graphics with Open Source Software
Vector editors are ideal for technical illustrations, diagramming, flowcharting, artistic illustrations, promotional posters, banners, signage, logos, typography, vehicle wraps and layout.
Read more
Itsi – high-performance web and application server
Itsi is a high-performance web and application server with first-class support for Ruby applications.
Read more
12 Best Free and Open Source Host-Based Intrusion Detection Systems
An intrusion detection system is a device or software application that monitors a network or systems for malicious activity or policy violations.
Read more
Atkinson Hyperlegible Next – sans-serif typeface
Atkinson Hyperlegible Next is a sans-serif typeface designed to improve legibility and character recognition for readers with low vision.
Read more
OpnForm – no-code form builder
OpnForm is a no-code form builder for creating and publishing online forms.
Read more
dnsglobe – global DNS propagation checker
dnsglobe queries public DNS resolvers around the world in parallel, compares their answers, and displays the propagation of DNS records.
Read more
Zooid – self-hosted Matrix workspace for collaborating with AI coding agents
Zooid is a self-hosted collaboration platform that brings AI coding agents into Matrix rooms alongside human team members.
Read more