zns is a command-line DNS client with DNSSEC validation, delegation tracing, reverse lookups and readable output.
Read more
zns is a command-line DNS client with DNSSEC validation, delegation tracing, reverse lookups and readable output.
Read more
GoCard is a terminal flashcard app using Markdown files, enhanced SM-2 spaced repetition, rich rendering, statistics and review forecasts
Read more
This article picks some useful tools to help you fix Markdown code.
Read more
LiquidHaskell is a formal verification tool that uses refinement types and SMT solving to check properties of Haskell programs.
Read more
gf is a lightweight graphical GDB front-end offering source, assembly, register, memory and breakpoint views for debugging.
Read more
GateSentry is a network content filter combining DNS blocking, per-device policies, safe search, proxy filtering and HTTPS inspection.
Read more
A text editor is software used for editing plain text files. This type of software has many different uses.
Read more
KemmOS is an openSUSE Tumbleweed-based Linux distribution with GNOME, LUKS2 encryption, SELinux, Btrfs snapshots and system rollback.
Read more
Walldo is a lightweight graphical wallpaper changer with recursive browsing, fuzzy search and broad desktop environment support.
Read more
Zuban is a fast Rust-based Python type checker with Mypy compatibility, incremental analysis and language server support for editors.
Read more
Linux can be easy to use, yet newcomers are still expected to master terminal commands. Is the desktop held back by its own community?
Read more
XXRI OS Lite is a lightweight Tiny Core Linux derivative for older 32-bit PCs, with a graphical desktop and low RAM requirements.
Read more
NumNum is a graphical calculator where you type calculations, variables, units, currencies and percentages as text.
Read more
Explore the best free and open source Go code formatters for consistent, readable source code with less manual formatting.
Read more
Local AI Studio combines local LLM chat, Stable Diffusion, Whisper transcription and Kokoro text-to-speech in one Linux interface.
Read more
wpaperd is a Wayland wallpaper daemon with timed rotation, per-display wallpapers and hardware-accelerated transitions.
Read more
Timekpr-nExT is a Linux screen-time manager for setting daily, weekly and monthly limits, schedules and application restrictions.
Read more
MPRIS is a standard D-Bus interface which aims to provide a common programmatic API for controlling media players.
Read more
edb is a graphical debugger for AArch32, x86 and x86-64 applications. The project was inspired by OllyDbg.
Read more
This article picks some useful tools to help you fix Go code.
Read more