Search Results for "linux mini"

buku is a powerful bookmark manager and a personal textual mini-web. For those who prefer the GUI, bukuserver exposes a browsable front-end on a local web host server. When I started writing it, I couldn't find a flexible command-line solution with a private, portable, merge-able database along with seamless GUI integration. Hence, buku. buku can import bookmarks from the browser(s) or fetch the title, tags and description of a URL from the web. Use your favorite editor to add, compose and...

Dockerlings is an interactive learning tool and game that helps users learn Docker fundamentals directly in their terminal through bite-sized exercises and challenges. Designed for both beginners and developers who want a hands-on introduction to containerization, it gamifies common Docker tasks like managing images, containers, networks, and volumes so you can practice repeatedly without needing external tutorials or sandbox environments. The tool runs as a terminal application that...

JVRMUDClient is a simple client for MUD ( Multi User Dungeons ) written in java. Supports mini-map, colourful ansi terminal, will support triggers, scripts,...

Arm mini real-time OS, cooperative kernel for LPC 2106, Arm TDMI-s cores.