Tracee is a runtime security and observability tool that uses eBPF to monitor system and application behaviour.
Read more
Tracee is a runtime security and observability tool that uses eBPF to monitor system and application behaviour.
Read more
Lambdapi is an interactive proof assistant based on the λΠ-calculus modulo rewriting.
Read more
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 is a headless ecommerce platform powered by Symfony and Vue.js.
Read more
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 is a fast reverse proxy that lets you expose local servers behind a NAT or firewall to the Internet.
Read more
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 is a sans-serif typeface family designed for clarity and legibility in user interfaces.
Read more
Mastodon is a free and open source microblogging platform similar to X, but with user privacy and decentralization in mind.
Read more
Inter is a geometric neo-grotesque typeface designed primarily for computer screens.
Read more
HOL Light is an interactive theorem prover and proof checker for formalising and proving mathematical theorems.
Read more
Linux offers a vast collection of open source small utilities that perform functions ranging from the obvious to the bizarre.
Read more
vnStat is a console-based network traffic monitor for Linux and BSD.
Read more
Minima is an efficient web framework built with modern core classes. It provides a minimal structure for creating web applications.
Read more
ntap is a cross-platform terminal application written in Rust that monitors and analyzes network traffic.
Read more
truss is an image transformation toolkit with a shared Rust core powering a command-line interface, HTTP server, and browser-based.
Read more
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 is a customizable ecommerce platform for building and managing online stores with WordPress.
Read moreHarden a computer system or network using access controls such as Mandatory Access Control (MAC) or Role-Based Access Control (RBAC).
Read more
Lmst is a lightweight Mastodon web client with a clear, classic user interface and a tiny JavaScript bundle.
Read more