Show more

helios4: The Open Source and Open Hardware Network Attached Storage (NAS)

Use "grep <package> /usr/share/doc/your-freedom/blacklist.txt" to see why a package is blacklisted in Parabola GNU/Linux-libre

Kitchen provides a test harness to execute infrastructure code on one or more platforms in isolation

The 23rd International Conference on Theory and Applications of Satisfiability Testing 5-9 July 2020, Alghero, Italy

vCard Extensions to WebDAV (CardDAV) is an address book client/server protocol designed to allow users to access and share contact data on a server

A community-driven source of knowledge for Language Server Protocol implementations

Show more

Server run by the main developers of the project 🐘 It is not focused on any particular niche interest - everyone is welcome as long as you follow our code of conduct!