Written in Rust, Yoda uses GTK 4 and Libadwaita to provide a modern Linux desktop interface.
Read more
Search Results for: free programming tutorials
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
Livery – BEAM-native web framework
Livery is a BEAM-native web framework that serves the same router and middleware over HTTP/1.1, HTTP/2, and HTTP/3 from a single runtime.
Read more
Source Sans 3 – sans-serif typeface family
Source Sans 3 is a sans-serif typeface family designed for clarity and legibility in user interfaces.
Read more
Inter – geometric neo-grotesque typeface
Inter is a geometric neo-grotesque typeface designed primarily for computer screens.
Read more
HOL Light – interactive theorem prover
HOL Light is an interactive theorem prover and proof checker for formalising and proving mathematical theorems.
Read more
15 Small Image Tools that Pack a Real Punch
Linux offers a vast collection of open source small utilities that perform functions ranging from the obvious to the bizarre.
Read more
vnStat – console-based network traffic monitor
vnStat tracks network interface traffic over time using kernel counters, with hourly, daily and monthly reports and low overhead.
Read more
Minima – efficient web framework
Minima is an efficient web framework built with modern core classes. It provides a minimal structure for creating web applications.
Read more
ntap – terminal-based network traffic monitor and analyzer
ntap monitors network traffic and captures packets in a terminal, with interface, protocol, address and port filtering options.
Read more
truss – image transformation toolkit
truss is an image transformation toolkit with a shared Rust core powering a command-line interface, HTTP server, and browser-based.
Read more
Arizona – real-time web framework for Erlang/OTP
Arizona is a real-time web framework for Erlang/OTP. It renders HTML on the server, diffs changes at the template level.
Read more