Mignis is a semantic based tool for firewall configuration.
☆45Apr 1, 2019Updated 6 years ago
Alternatives and similar repositories for Mignis
Users that are interested in Mignis are comparing it to the libraries listed below
Sorting:
- Language-independent Synthesis of Firewall Policies☆26Jan 6, 2023Updated 3 years ago
- A modular, discrete-time control daemon for a hydroponic garden, written in Lua.☆12May 11, 2015Updated 10 years ago
- Ansible/Packer/Terraform setup for our Bambi CTF on Hetzner Cloud☆20Sep 10, 2025Updated 5 months ago
- Knowledge representations and artificial reasoning for monitoring, developing AR aspects of managing large systems☆17Nov 5, 2020Updated 5 years ago
- Wax is a mediocre fuzzer I'm prototyping to test some ideas and get rid of others.☆17Jul 12, 2018Updated 7 years ago
- cuckoo-1.1 fork with suricata/moloch/clamav and other goodies☆23Feb 17, 2015Updated 11 years ago
- Slides and stuffs of the meetings during the 2020.☆16Jan 18, 2022Updated 4 years ago
- The Vert.x Event Bus Package allows any meteor app to be able to connect to Vert.x Components☆17Oct 23, 2017Updated 8 years ago
- Event Bus bridge for Java applications interacting remotely with Vert.x☆18Nov 15, 2018Updated 7 years ago
- Public collection of firewall dumps.☆44Jun 9, 2017Updated 8 years ago
- The NoSQL Honeypot Framework☆103Oct 17, 2023Updated 2 years ago
- Example Python and R code for Cloudera Machine Learning (CML) training☆14Dec 1, 2020Updated 5 years ago
- Lua on Parrot☆43May 10, 2012Updated 13 years ago
- Lua WAMP client☆28Feb 6, 2022Updated 4 years ago
- ☆31Mar 21, 2016Updated 9 years ago
- Donard: A PCIe Peer-2-Peer kernel patch and library that builds on top of NVM. Express. Also see https://github.com/sbates130272/linux-do…☆32Nov 17, 2016Updated 9 years ago
- ☆33Feb 16, 2026Updated 2 weeks ago
- Auto Recon Bash Script☆31Dec 31, 2024Updated last year
- Simulated Video Feedback on the GPU☆10Mar 28, 2019Updated 6 years ago
- A simple pam account module to process HBAC rules stored on an IPA server☆10May 14, 2018Updated 7 years ago
- The shell for Vert.x☆38Feb 16, 2026Updated 2 weeks ago
- Explains how to setup a omnibus full gitlab-ce (git, registry, pages) with HTTPS and Let's Encrypt certificates☆10Jan 4, 2022Updated 4 years ago
- A verified permissioned centralized Blockchain for Isabelle/HOL☆11Feb 3, 2018Updated 8 years ago
- A demo app showing how to setup Reflux with react-router☆11Jun 13, 2015Updated 10 years ago
- How to write interpreters or dynamic compilers for dynamically typed languages on top of the JVM☆16Feb 24, 2026Updated last week
- Servermon is a Django project with the aim of facilitating server monitoring and management through Puppet☆24Dec 11, 2018Updated 7 years ago
- Arduino action air timer for competitive shooting☆10Feb 4, 2023Updated 3 years ago
- Terraform module for Cloudera Manager☆11May 6, 2020Updated 5 years ago
- Small contributions to Wicket☆18Nov 26, 2014Updated 11 years ago
- a lua-based opengl GUI☆17Jul 30, 2016Updated 9 years ago
- ☆30May 17, 2018Updated 7 years ago
- Automate Cisco LAN Switching Configuration using Ansible☆13Sep 4, 2020Updated 5 years ago
- Script for tracking file system changes☆19Jan 23, 2018Updated 8 years ago
- webshare is a CLI tool that provides web-interface for your local files☆13Dec 2, 2018Updated 7 years ago
- Dynamic binary translation framework for instrumenting the Linux kernel and its modules☆78Nov 16, 2017Updated 8 years ago
- ☆13Dec 26, 2022Updated 3 years ago
- 🛡 Check Windows and Control Configs and Security - CWiCCS (read as QUICKS)☆13Jan 14, 2023Updated 3 years ago
- Execute cassandra statements from a vert.x module☆39Mar 19, 2023Updated 2 years ago
- Troje is a honeypot built around lxc containers. It will run each connection with the service within a seperate lxc container.☆45Aug 12, 2014Updated 11 years ago