elm-example-publisher is a command-line utility that generates static websites showcasing visual examples of Elm programs.
Read more
Search Results for: free programming tutorials
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
River – serverless group chat application
River is a serverless group chat application that operates over Freenet’s global peer-to-peer network.
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
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
Ubuntu Sans – contemporary sans-serif typeface
Ubuntu Sans is a contemporary sans-serif typeface designed for clarity across user interfaces, documents and display text.
Read more
GOST – simple security tunnel
GOST is a simple security tunnel. It provides proxying, port forwarding, and reverse proxy capabilities with flexible protocol chaining.
Read more
OCR4Linux – text extraction tool
OCR4Linux is a text extraction tool that captures a selected screen area, performs OCR, and copies the extracted text to the clipboard.
Read more
Yoda – graphical browser for the Gemini protocol
Written in Rust, Yoda uses GTK 4 and Libadwaita to provide a modern Linux desktop interface.
Read more
Mark Shot – screenshot and annotation tool
Mark Shot is a high-performance screenshot and annotation tool built with Qt 6. It supports Linux desktops running Wayland or X11.
Read more
Livediff – displays live diffs as files change
Livediff is a lightweight terminal application that displays live diffs as files change.
Read more
LISA (LISA Is Sets Automated) – proof assistant
LISA (LISA Is Sets Automated) is a proof assistant based on first-order logic sequent calculus and set theory.
Read more
Source Serif – serif typeface
Source Serif is a serif typeface designed to complement the Source Sans family.
Read more
Tracee – runtime security and observability tool
Tracee is a runtime security and observability tool that uses eBPF to monitor system and application behaviour.
Read more
Lambdapi – interactive proof assistant
Lambdapi is an interactive proof assistant based on the λΠ-calculus modulo rewriting.
Read more
Hades – host-based intrusion detection system
Hades is a host-based intrusion detection system (HIDS) that uses eBPF and the netlink process connector to monitor activity on Linux systems.
Read more
Shopware – headless ecommerce platform
Shopware is a headless ecommerce platform powered by Symfony and Vue.js.
Read more
frp – fast reverse proxy
frp is a fast reverse proxy that lets you expose local servers behind a NAT or firewall to the Internet.
Read more