in-toto protects software supply chains by recording signed metadata for each step and checking the result against a defined layout.
Read more
Search Results for: free programming tutorials
cosign – sign and verify software artifacts with Sigstore
cosign signs and verifies containers, binaries and other software artifacts using Sigstore, keys, identities and transparency logs.
Read more
Daux.io – Markdown Documentation Generator
Daux.io turns Markdown files and folders into structured documentation websites with navigation, themes, syntax highlighting and static output.
Read more
NsJail – process isolation and sandboxing utility
NsJail is a process isolation tool designed to run applications inside tightly controlled environments.
Read more
Parchment – sparse plain text editor for prose and code
Parchment is a sparse GTK 4 plain text editor for prose and source code, with a deliberately small feature set focused on readability.
Read more
coppwr – low-level graphical control for PipeWire
coppwr provides low-level graphical control of PipeWire with node graph editing, object inspection, metadata editing and profiling tools.
Read more
LogNote – flexible graphical log viewer
LogNote is a graphical log viewer which supports conventional log files as well as live Android logcat output.
Read more
bubblewrap – low-level unprivileged sandboxing tool
bubblewrap is a low-level Linux sandboxing tool for constructing restricted process environments with namespaces, bind mounts and seccomp.
Read more
Maps – map viewer designed for elementary OS
Maps is a lightweight elementary OS map viewer with place search, current-location jumping, keyboard navigation and geo URI support.
Read more
TermSVG – record and export terminal sessions
TermSVG records terminal sessions, replays asciicast files, and exports recordings as animated SVG, GIF or WebM with themes and playback controls.
Read more
OpenStreetBrowser – browse OpenStreetMap data by thematic category
OpenStreetBrowser is a web app for exploring OpenStreetMap data through thematic categories, overlays, object details and custom Overpass queries.
Read more
Tanko – CLI Manga Reader and Downloader
Tanko is a command-line manga reader and downloader supporting image rendering, offline downloads, reading history and multiple sources.
Read more
Giant Log Viewer – view extremely large log files
Giant Log Viewer is a graphical viewer designed to open extremely large text and log files with low memory use.
Read more
Helvum – graphical patchbay for PipeWire
Helvum is a graphical PipeWire patchbay for creating and removing connections between audio, video and MIDI applications and devices.
Read more
podman-tui – terminal user interface for Podman environments
podman-tui is a keyboard-driven interface for managing local and remote Podman containers, pods, images, volumes, networks and secrets.
Read more
fblog – view and filter JSON logs
fblog is a command-line JSON log viewer with Lua filtering, customizable formatting and colorized log levels.
Read more
SuperHTML – HTML validator, formatter and language server
SuperHTML is an HTML validator, formatter and language server with specification-aware diagnostics, editor integration and command-line tools.
Read more
ROSboard – lightweight web dashboard for visualizing ROS topics
ROSboard is a lightweight web dashboard for visualizing ROS topics, sensor data and robot telemetry from desktop and mobile browsers.
Read more
Tilia – formatter for Haskell source code
Tilia is a Haskell source code formatter with Cabal project awareness, precise fixity handling, CPP support and careful comment formatting.
Read more
FacilMap – privacy-friendly collaborative OpenStreetMap web map
FacilMap is a privacy-friendly OpenStreetMap web map for place search, route planning, live collaborative maps, imports, exports and embeds.
Read more