Lambdapi is an interactive proof assistant based on the λΠ-calculus modulo rewriting.
Read more
Author: Steve Emms
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
BOSGAME VTA-439 Mini PC running Linux – Noise
BOSGAME VTA-439 noise tested under Linux. I assess fan behaviour, acoustics at idle and heavy load, and the mini PC’s BIOS fan options.
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
11 Best Free and Open Source Graphical Mastodon Clients
Mastodon is a free and open source microblogging platform similar to X, but with user privacy and decentralization in mind.
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
WooCommerce – customizable ecommerce platform
WooCommerce is a customizable ecommerce platform for building and managing online stores with WordPress.
Read more
5 Best Free and Open Source Linux MAC/RBAC Tools
Harden a computer system or network using access controls such as Mandatory Access Control (MAC) or Role-Based Access Control (RBAC).
Read more
Lmst – lightweight Mastodon web client
Lmst is a lightweight Mastodon web client with a clear, classic user interface and a tiny JavaScript bundle.
Read more
HOL4 – interactive theorem prover
HOL4 is an interactive theorem prover for classical higher-order logic. It provides a platform for formalising mathematics.
Read more