AppArmor Security Profiles for some applications
☆35Oct 29, 2021Updated 4 years ago
Alternatives and similar repositories for apparmor-profiles
Users that are interested in apparmor-profiles are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Would-be companion app for wasp-os. Check the link below for an active fork.☆11Nov 9, 2022Updated 3 years ago
- Simple UEFI Boot Manager☆17Nov 28, 2016Updated 9 years ago
- 10 9 8 7 6 5...☆10Jun 26, 2019Updated 7 years ago
- ☆13Aug 4, 2022Updated 4 years ago
- An English translation of Deligne's three "Hodge theory" papers☆15Feb 7, 2026Updated 6 months ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- ☆10Mar 5, 2019Updated 7 years ago
- Org links for emacs-slack (https://github.com/yuya373/emacs-slack)☆11Jan 22, 2026Updated 6 months ago
- Emacs tool to show gitlab-pipeline☆12Dec 13, 2025Updated 8 months ago
- Emacs package to restore point after C-g when mark☆12Nov 4, 2024Updated last year
- :secret keyword for use-package☆13Jan 6, 2020Updated 6 years ago
- Minimal KVM host using Alpine as its core☆14Aug 15, 2020Updated 6 years ago
- Batch removal of (development) packages from devpi servers☆20Jun 4, 2026Updated 2 months ago
- Agda formalization of the paper, "Higher-Order Functions and Brouwer's Thesis". Deduces a Brouwer ordinal from a function ((nat -> nat) -…☆13Sep 22, 2020Updated 5 years ago
- Extra and extended datatypes for Lean 4☆12Nov 12, 2022Updated 3 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Regionalized Value State Dependence Graph written in Rust☆12Nov 17, 2019Updated 6 years ago
- Calculate mean of pairwise weighted distances between points using great circle metric.☆11Jul 6, 2023Updated 3 years ago
- Desktop notifications and modeline display for mu4e☆14Oct 22, 2025Updated 9 months ago
- Python SDK☆12Jul 26, 2023Updated 3 years ago
- A generic Either type implementation for Rust☆14Jan 4, 2023Updated 3 years ago
- Window manager for X11/Linux, using prefix key style, à la ratpoison and stumpwm.☆15Dec 5, 2013Updated 12 years ago
- Add _ as a shorthand in shell mode for the last shell output☆16Aug 30, 2022Updated 3 years ago
- Open source watchface for the Pebble Time and Pebble Time Steel☆12Jun 18, 2026Updated 2 months ago
- A Coq development of the theory of Indexed W types with function extensionality.☆11Sep 13, 2017Updated 8 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Emacs utility functions to interact with helm, the kubernetes package manager☆15Feb 21, 2023Updated 3 years ago
- Exif manipulation with pure python script.☆12Sep 7, 2023Updated 2 years ago
- A custom writer for pandoc that outputs JIRA Wiki Markup☆14Jun 4, 2019Updated 7 years ago
- CircuitPython library for controlling HC-SR04 ultrasonic range sensors☆11Apr 23, 2026Updated 3 months ago
- A minor mode to hide sensitive values in buffers per major mode☆21Mar 9, 2026Updated 5 months ago
- Linear Types, Symmetric Monoidal Categories, and Tensors☆13Oct 14, 2025Updated 10 months ago
- 🛹 Colection of files required to get your very own board top speedometer☆12Oct 13, 2020Updated 5 years ago
- A Lean 4 package for heavy numerical computations☆20Jan 16, 2022Updated 4 years ago
- A set of small projects aimed to fix "Betafpv Lite Brushed V2" Silverware-based flight controllter☆10Nov 10, 2020Updated 5 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- New email notification icon for GNOME Shell.☆15Mar 21, 2025Updated last year
- A minimal theme for emacs.☆14Mar 25, 2021Updated 5 years ago
- Highly configurable watchface, which solves the problem of scheduling in daily business. (formerly known as Agile Cockpit)☆10Jan 13, 2024Updated 2 years ago
- Formalization of category theory in Agda☆17Feb 20, 2023Updated 3 years ago
- guarded interaction trees☆14Jul 6, 2026Updated last month
- ☆12May 7, 2023Updated 3 years ago
- Emacs integretion for Tesseract OCR☆22Feb 19, 2024Updated 2 years ago