The KDE Education Project develops free Educational Software (GPL licence) within the KDE environment.
Read more
Search Results for: essential system tools
JClic – platform to create, play and evaluate multimedia educational activities
JClic is a platform for the creation, playing and evaluation of multimedia educational activities.
Read more
TuxMath – arcade-style educational video game
Tux, of Math Command (known as TuxMath) is an open source arcade-style video game for learning mathematics, initially created for Linux.
Read more
GCompris – high quality educational software suite
GCompris is an educational software suite comprising of numerous activities for children aged 2 to 10.
Read more
grsecurity – add critical hardening to the Linux kernel
grsecurity is an innovative set of patches for the Linux kernel with an emphasis on strengthening the security of a computer system.
Read more
TOMOYO Linux – Mandatory Access Control (MAC) implementation
TOMOYO Linux is a Mandatory Access Control (MAC) implementation for Linux operating systems. It helps to increase the security of a system.
Read more
RSBAC – kernel security solution
RSBAC (Rule Set Based Access Control) is a kernel patch which adds several mandatory access models to the Linux kernel.
Read more
SELinux – security enhancement tool
Security-Enhanced Linux (SELinux) is a security enhancement to Linux that provides a mechanism for enforcing the security of the system.
Read more
Hakyll – Haskell library for generating static sites
Hakyll is a Haskell library for generating static sites, mostly aimed at small-to-medium sites and personal blogs. It is written in a very configurable way and uses an xmonad-like DSL for configuration. Hakyll sites are written using a Haskell Embedded
Read more
Ema – next-gen library toolkit for building jamstack-style static sites
Ema is a next-gen Haskell library toolkit for building jamstack-style static sites.
Read more
yst – static websites from YAML and string templates
yst is a tool for generating a static website by filling string templates with data taken from YAML or CSV text files.
Read more
Slick – static site generator
Slick provides a small set of tools and combinators for building static websites on top of the Shake build system.
Read more
rib – static site generator based on Shake
Rib is billed as a Haskell static site generator based on Shake, with a delightful workflow.
Read more
Superpaper – advanced multi monitor wallpaper manager
Superpaper is an advanced multi monitor wallpaper manager. Superpaper is free and open source software written in Python.
Read more
Komorebi – animated wallpaper manager
Komorebi is a beautiful and customizable animated wallpaper manager for all Linux platforms.
Read more
HydraPaper – GTK utility to set different backgrounds for each monitor on GNOME
HydraPaper is a GTK utility to set different backgrounds for each monitor on GNOME. The utility also runs under MATE, Cinnamon, and Budgie.
Read more
wpgtk – colorscheme, wallpaper and template manager
wpgtk is a simple to use colorscheme, wallpaper and template manager.
Read more
Wall Changer – automatic wallpaper changer
Wall Changer is an automatic wallpaper changer.
Read more
pacwall – live wallpaper
pacwall changes your wallpaper to the dependency graph of installed with pacman packages.
Read more
chwall – tiny automatic wallpaper changer
Chwall is a tiny automatic wallpaper changer.
Read more