Here’s our recommended Elm static site generators. All of these tools are released under a freely distributable license.
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
Aya – proof assistant and dependently-typed programming language
Aya is a proof assistant and dependently-typed programming language. It supports advanced type-theoretic features.
Read more
Jpsonic – web-based media streamer
Jpsonic supports Subsonic-compatible clients as well as DLNA, UPnP, and OpenHome devices.
Read more
HeyForm – self-hosted form builder
HeyForm is a self-hosted form builder for creating conversational surveys, quizzes, polls, and other data-collection forms.
Read more
Ploopy Bean Pointing Stick Mouse Review
Ploopy Bean review: an open-source pointing stick mouse with precise control, programmable buttons, VIA support and strong Linux compatibility.
Read more
elm-example-publisher – generates static websites
elm-example-publisher is a command-line utility that generates static websites showcasing visual examples of Elm programs.
Read more
OpenPencil – design editor
OpenPencil is a design editor that opens and writes Figma .fig files and Pencil .pen documents.
Read more
VuIO – cross-platform DLNA/UPnP media server
VuIO is a cross-platform DLNA/UPnP media server written in Rust.
Read more
9 Best Free and Open Source Configuration Management Databases
We recommend the best configuration management databases.
Read more
River – serverless group chat application
River is a serverless group chat application that operates over Freenet’s global peer-to-peer network.
Read more
9 Best Free and Open Source OCR Screen Capture Tools
This article highlights OCR powered screen-capture tools to capture information instead of images.
Read more
Adwaita Fonts – typefaces designed for GNOME
Adwaita Fonts includes Adwaita Sans, based on Inter, and Adwaita Mono, a customized Iosevka build.
Read more
6 Best Free and Open Source Web-Based Mastodon Clients
Here’s our verdict on the finest web-based Mastodon clients captured in a legendary LinuxLinks-ratings chart.
Read more
F* – general-purpose, proof-oriented programming language
F* (pronounced F star) is a programming language designed for writing programs together with machine-checked proofs of their properties.
Read more
gwm – Git worktree manager
gwm is a Git worktree manager offering command-line and terminal interfaces for managing worktrees across projects.
Read more
PVS – specification and verification system
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