Explore projects
-
System for Sequential Logic Synthesis and Formal Verification
packages: abc
Updated -
Tool for session {at,de}tach support which allows a process to run independently from its controlling terminal
packages: abduco
Updated -
Fully-featured word processor
packages: abiword
Updated -
Synchronizes musical beat, tempo, and phase across multiple applications
packages: abletonlink
Updated -
Collection of C++ library code designed to augment the C++ standard library
packages: abseil-cpp
Updated -
Interactive Python accessibility explorer for the GNOME desktop
packages: accerciser
Updated -
This project demonstrates a secure and simple-to-manage access control pattern for Gitlab repositories (projects).
UpdatedUpdated -
Inspect your application accessibility tree
packages: accessibility-inspector
Updated -
Expose the Online Accounts API to QML applications
packages: accounts-qml-module
Updated -
D-Bus interface for user account query and manipulation
packages: accountsservice
Updated -
Updated
-
A Perl-based grep replacement, aimed at programmers with large trees of heterogeneous source code
packages: ack
Updated -
Access control list utilities, libraries and headers
packages: acl
Updated -
Assembler for the 6502, 6510, 65c02 and 65816 processors
packages: acme
Updated -
Updated
-
Minimal http daemon that answers acme challenges and redirects everything else to https
packages: acme-redirect
Updated -
A tiny script to issue and renew TLS certs from Let's Encrypt
packages: acme-tiny
Updated -
acme-tiny systemd files for running as dedicated user instead of root.
packages: acme-user
Updated -
Updated