LiquidHaskell is a formal verification tool that uses refinement types and SMT solving to check properties of Haskell programs.
Read more
Author: Steve Emms
gf – lightweight graphical front-end for GDB
gf is a lightweight graphical GDB front-end offering source, assembly, register, memory and breakpoint views for debugging.
Read more
GateSentry – filtering proxy and DNS server
GateSentry is a network content filter combining DNS blocking, per-device policies, safe search, proxy filtering and HTTPS inspection.
Read more
22 Free and Open Source Simple GUI Based Linux Text Editors
A text editor is software used for editing plain text files. This type of software has many different uses.
Read more
Walldo – lightweight graphical wallpaper changer
Walldo is a lightweight graphical wallpaper changer with recursive browsing, fuzzy search and broad desktop environment support.
Read more
Zuban – fast Python type checker and language server
Zuban is a fast Rust-based Python type checker with Mypy compatibility, incremental analysis and language server support for editors.
Read more
NumNum – text editor that understands calculations
NumNum is a graphical calculator where you type calculations, variables, units, currencies and percentages as text.
Read more
6 Useful Free and Open Source Code Formatters for Go
Explore the best free and open source Go code formatters for consistent, readable source code with less manual formatting.
Read more
Machine Learning in Linux: Local AI Studio – local AI toolkit
Local AI Studio combines local LLM chat, Stable Diffusion, Whisper transcription and Kokoro text-to-speech in one Linux interface.
Read more
wpaperd – modern wallpaper daemon for Wayland
wpaperd is a Wayland wallpaper daemon with timed rotation, per-display wallpapers and hardware-accelerated transitions.
Read more
Timekpr-nExT – control computer usage
Timekpr-nExT is a Linux screen-time manager for setting daily, weekly and monthly limits, schedules and application restrictions.
Read more
9 Best Free and Open Source Linux MPRIS Tools
MPRIS is a standard D-Bus interface which aims to provide a common programmatic API for controlling media players.
Read more
edb – graphical debugger inspired by OllyDbg
edb is a graphical debugger for AArch32, x86 and x86-64 applications. The project was inspired by OllyDbg.
Read more
terminal-anki – flashcards with spaced repetition in your terminal
terminal-anki is a terminal flashcard app with SM-2 scheduling, card management, analytics, themes and Anki import and export.
Read more
Calculator – simple calculator for the COSMIC desktop
Calculator is a simple graphical calculator for the COSMIC desktop with a useful history of previous calculations.
Read more
RAWmakase – fast non-destructive RAW photo developer
RAWmakase is a fast non-destructive RAW photo developer with GPU previews, Lightroom catalogue import, masking and command-line tools.
Read more
pSync – synchronize files securely between networked hosts
pSync is a command-line file synchronization tool that securely keeps selected directories aligned between networked hosts over SSH.
Read more
siltide – terminal monitor for AI accelerators
siltide is a terminal monitor for GPUs, NPUs and other accelerators, showing utilisation, memory, processes, power and thermals.
Read more
GridTracker – amateur radio mapping and activity companion
GridTracker is an amateur radio companion for visualising WSJT-X activity, contacts, grids, spots, awards, solar data, alerts, and logging.
Read more
9 Best Free and Open Source Linux GUI System Profilers
A system profiler is a utility that presents information about the hardware attached to a computer. Here’s our verdict.
Read more