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:
- An English translation of Deligne's three "Hodge theory" papers☆15Feb 7, 2026Updated 7 months ago
- Linear Types, Symmetric Monoidal Categories, and Tensors☆14Oct 14, 2025Updated 10 months ago
- Formalization of category theory in Agda☆17Feb 20, 2023Updated 3 years ago
- ☆12May 7, 2023Updated 3 years ago
- the enlightened pager. less paging. more content. read widely.☆22Mar 23, 2020Updated 6 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Small utility script to notify via Slack about Hashcat's progress during a password cracking session☆10Mar 10, 2019Updated 7 years ago
- A formalization of the theory behind the mugen library☆20Jul 5, 2026Updated 2 months ago
- Simply-typed lambda calculus as a QIT in cubical Agda + normalization☆16Jan 23, 2024Updated 2 years ago
- 🧊 kado カド: Cofibrations in Cartesian Cubical Type Theory☆22Nov 20, 2025Updated 9 months ago
- Organize mathematical thoughts☆21Oct 6, 2023Updated 2 years ago
- Notes written while consulting for the Higher Order Company☆17Sep 27, 2025Updated 11 months ago
- Molecular computers with interaction combinators like graph rewrite systems☆17Nov 9, 2022Updated 3 years ago
- Binary rational numbers in Coq [maintainer=@herbelin]☆15Dec 30, 2023Updated 2 years ago
- Diagrams to visually learn Falco and its eBPF probe☆15Jun 24, 2021Updated 5 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Verified C programming in Agda☆16Mar 19, 2021Updated 5 years ago
- For The Watts: configurable power saving script with udev rules.☆16Jan 31, 2014Updated 12 years ago
- stuff from my ToorCon 2015 talk☆14Oct 27, 2015Updated 10 years ago
- ☆16Jan 3, 2025Updated last year
- 🕷️MITMProxy + Ettercap = PWNd☆11Dec 5, 2018Updated 7 years ago
- python, ccxt, backtrader, dash☆10Apr 20, 2018Updated 8 years ago
- A small C++17 library inspired by Category Theory.☆17Jan 4, 2023Updated 3 years ago
- Hacking synthetic Tait computability into Agda. Example: canonicity for MLTT.☆20Feb 26, 2021Updated 5 years ago
- Some stuff for PHD2021☆14May 21, 2025Updated last year
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Agda code for experimenting with internal models of cubical type theory☆16Apr 3, 2018Updated 8 years ago
- The high-level/low-level implementation of Linux Fanotify.☆26Nov 11, 2025Updated 10 months ago
- C# code to run PIC using CreateThread☆17Apr 19, 2019Updated 7 years ago
- Rust bindings for the Haiku C-API☆15Apr 3, 2024Updated 2 years ago
- IDA Pro plugin to view Exports☆16Sep 21, 2018Updated 7 years ago
- Allows external systems or MCUs to connect BLE (CC2540) using HCI as BLE Central Role☆11Jul 1, 2015Updated 11 years ago
- Custom stow implementation in Rust☆17Feb 5, 2022Updated 4 years ago
- Using Shodan to get a breakdown of the most common key names in public Redis servers.☆12Dec 10, 2017Updated 8 years ago
- Serde (De)serializer implementation for rlua::Value☆25Jul 28, 2022Updated 4 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- shARP_2.0 is an updated version for shARP with more options for better performance.☆12Oct 12, 2017Updated 8 years ago
- Directed type theory for formal category theory☆19Apr 7, 2017Updated 9 years ago
- A BurpSuite extension for beautifying .NET message parameters and hiding some of the extra clutter that comes with .NET web apps (i.e. __…☆10Feb 13, 2017Updated 9 years ago
- Doubango VoIP framework☆21Feb 19, 2022Updated 4 years ago
- My PowerShell Profile Scripts and Modules☆13Jun 19, 2026Updated 2 months ago
- Socks proxy server using powershell. Supports local and reverse connections for pivoting.☆10Oct 7, 2020Updated 5 years ago
- Tool for scraping the arch wiki and keeping a local version updated☆15Mar 15, 2016Updated 10 years ago