A high level language for SELinux policy
☆60Jan 28, 2026Updated last month
Alternatives and similar repositories for cascade
Users that are interested in cascade are comparing it to the libraries listed below
Sorting:
- Static code analysis of refpolicy style SELinux policy☆49Mar 20, 2025Updated 11 months ago
- Fedora Policy Contributions☆39May 17, 2021Updated 4 years ago
- ☆25Jun 3, 2022Updated 3 years ago
- A userspace fake of "sudo"☆20Mar 8, 2021Updated 4 years ago
- A helper library to implement the Gentoo Package Manager Specification☆10Oct 29, 2025Updated 4 months ago
- Tools to manage the Linux NetLabel subsystem☆28Aug 30, 2025Updated 6 months ago
- VueJS app boilerplate for large scale component-based development. Supporting Webpack+Bootstrap+EcmaScript 6☆11Aug 16, 2016Updated 9 years ago
- Gthree port of HexGL☆14Jul 24, 2020Updated 5 years ago
- Systemd service to check, if the system does come up correct after an update☆32Jan 5, 2026Updated last month
- A Python interpreter for the huh? programming language.☆10Mar 1, 2018Updated 8 years ago
- Self service portal for Kubernetes. Automate provisioning and access of namespaces, authenticate users using Active Directory or LDAP.☆15Jan 31, 2023Updated 3 years ago
- Clean-sheet rewrite of Pyth.☆13Sep 1, 2015Updated 10 years ago
- Build initrd images using mkosi and distro packages☆39Jan 22, 2024Updated 2 years ago
- The official Github Repo and Download for the FNAF Mod☆10Nov 10, 2015Updated 10 years ago
- Sonic Battle Hack Suite - GUI program for reverse engineering & patching Sonic Battle for the GBA.☆17Jul 19, 2018Updated 7 years ago
- Extended utilities for working with files and filesystems in Rust.☆23Aug 3, 2021Updated 4 years ago
- Second-degree Hax installer for 3DS☆17Aug 7, 2016Updated 9 years ago
- The Silence of Intelligence — A comprehensive analysis of Anthropic CEO Dario Amodei's philosophy on Scaling Laws, AI safety, and the fut…☆18Updated this week
- Cross-compile like a boss!☆27Jul 30, 2024Updated last year
- A linter for Flatpak manifests and build artifacts primarily developed for Flathub☆59Updated this week
- A lowest-common-denominator API description for meta-build systems to build individual components☆25Feb 29, 2024Updated 2 years ago
- The ??? Programming Language☆21Jun 3, 2018Updated 7 years ago
- A collection of ideas for new kernel features☆63Feb 8, 2026Updated 3 weeks ago
- Presentation templates with Fedora branding for slide decks / presentations☆27Feb 16, 2026Updated 2 weeks ago
- Various scripts for operating on an OSTree repository☆29Dec 18, 2020Updated 5 years ago
- ☆22Dec 30, 2025Updated 2 months ago
- refpolicy-contrib has moved to https://github.com/SELinuxProject/refpolicy☆28Jun 10, 2018Updated 7 years ago
- A Lisp-style language whose programs consist entirely of parentheses.☆69Aug 8, 2017Updated 8 years ago
- "pet container" tool using podman☆24Jun 16, 2022Updated 3 years ago
- miscellaneous tools I find useful in ZFS on Linux environments☆34May 5, 2022Updated 3 years ago
- Enterprise Linux Exploit Mapper☆28Jan 20, 2018Updated 8 years ago
- ☆17Dec 22, 2025Updated 2 months ago
- A modern, performant, and secure NGINX distribution packed with features.☆34Jun 7, 2022Updated 3 years ago
- Repository and API for storing and querying product metadata☆32Apr 3, 2018Updated 7 years ago
- Converged Security Suite for Intel & AMD platform security features☆71Updated this week
- Rust implementation of the keylime agent☆148Updated this week
- Resilient Virtual Machine Monitor is a complete fault tolerance solution for type-I hypervisors adopting one of the most popular VMM arch…☆11Jul 30, 2020Updated 5 years ago
- The ArcGIS Pro SDK for utility network pre-releases.☆10Jan 25, 2019Updated 7 years ago
- A Forge based Minecraft server-side plugin API☆13Nov 23, 2014Updated 11 years ago