secgroup/fws external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

secgroup/fws

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/secgroup/fws)

Close

secgroup / fwsView on GitHubMore

• External links
• Readme badge

Language-independent Synthesis of Firewall Policies

☆26Jan 6, 2023Updated 3 years ago

Alternatives and similar repositories for fws

Users that are interested in fws are comparing it to the libraries listed below

• david-christiansen / ssft24

  View on GitHub
  ☆19Jun 1, 2024Updated last year
• VaslavTchitcherine / video-feedback

  View on GitHub
  Simulated Video Feedback on the GPU
  ☆10Mar 28, 2019Updated 6 years ago
• jhrozek / pam_hbac

  View on GitHub
  A simple pam account module to process HBAC rules stored on an IPA server
  ☆10May 14, 2018Updated 7 years ago
• napalm-automation-community / napalm-aos

  View on GitHub
  NAPALM driver for Alcatel Lucent Enterprise AOS
  ☆11Apr 27, 2021Updated 4 years ago
• cloudmesh / cloudmesh1

  View on GitHub
  ☆13Dec 26, 2022Updated 3 years ago
• digidotcom / xbeewificloudkit

  View on GitHub
  XBee Wi-Fi Cloud Kit
  ☆16Dec 29, 2017Updated 8 years ago
• sydro / docker-imapsync

  View on GitHub
  Container docker with imapsync and docker-compose to automate in easy way
  ☆10May 12, 2024Updated last year
• obcode / glabs

  View on GitHub
  Manage GitLab for Labs from the Command Line
  ☆11Jan 27, 2026Updated last month
• charliermarsh / OCaml-SAT-Solvers

  View on GitHub
  An OCaml implementation of the DPLL algorithm for solving SAT instances. Uses nothing beyond the OCaml List library.
  ☆19Sep 5, 2014Updated 11 years ago
• ipdl / ipdl

  View on GitHub
  ☆11Jan 17, 2023Updated 3 years ago
• ciscops / meraki-netbox

  View on GitHub
  Netbox Meraki Integration tooling
  ☆11Apr 8, 2024Updated last year
• twitter-archive / bittern

  View on GitHub
  Bittern Cache uses nvdimm to speed up block io operations
  ☆15Oct 6, 2015Updated 10 years ago
• DieracDelta / DuckeeGO

  View on GitHub
  Concolic Exection Engine for Golang
  ☆10May 16, 2018Updated 7 years ago
• tklengyel / guestrace

  View on GitHub
  Unofficial mirror of
  ☆11Feb 2, 2018Updated 8 years ago
• Testbild-synth / super-sweet-16

  View on GitHub
  Deluxe 16-step knob-per-function sequencer Module for eurorack
  ☆12Mar 23, 2025Updated 11 months ago
• abstract-machine-learning / saver

  View on GitHub
  SVM Abstrac Verifier tool
  ☆12Oct 13, 2022Updated 3 years ago
• zanderso / cil-template

  View on GitHub
  A simple tutorial about how to use the CIL compiler frontend
  ☆12Feb 10, 2025Updated last year
• probe-rs / hive

  View on GitHub
  A Raspberry PI shield for testing probe-rs against many chips & probes.
  ☆14Jan 21, 2022Updated 4 years ago
• SymbiFlow / ibex-yosys-build

  View on GitHub
  Testing Ibex build using Yosys and open source toolchains.
  ☆11Oct 2, 2021Updated 4 years ago
• dimovnike / alpine-openvpn

  View on GitHub
  Openvpn client in a docker container.
  ☆11Nov 5, 2024Updated last year
• spearheadsys / check_mk-documentation

  View on GitHub
  Check_MK Documentation
  ☆11Jun 18, 2023Updated 2 years ago
• ycrypto / nisty

  View on GitHub
  NIST P-256 signatures for Cortex-M4 microcontrollers
  ☆16Mar 14, 2021Updated 4 years ago
• hannobraun / cnc-mill

  View on GitHub
  ☆10Dec 3, 2022Updated 3 years ago
• PSU-Security-Universe / badass

  View on GitHub
  Demonstrating the BadAss issue.
  ☆17May 19, 2025Updated 9 months ago
• non117 / yuyushiki

  View on GitHub
  Yuyushiki Annotation tool
  ☆14Oct 15, 2014Updated 11 years ago
• wolfSSL / wolfAsyncCrypt

  View on GitHub
  wolfSSL Asynchronous Cryptography
  ☆17Dec 8, 2025Updated 2 months ago
• jorgedlcruz / zimbra-net_snmp-extension

  View on GitHub
  How to monitor a Zimbra Collaboration Environment using pflogsumm and NET-SNMP-EXTEND
  ☆12Oct 25, 2017Updated 8 years ago
• tskirvin / omdclient

  View on GitHub
  Tools to interact with the check_mk WATO and OMD APIs
  ☆11Mar 13, 2025Updated 11 months ago
• stg-tud / apsa

  View on GitHub
  Applied Static Analysis
  ☆11Aug 26, 2019Updated 6 years ago
• nokia / web-assembly-self-certifying-compilation-framework

  View on GitHub
  ☆13Oct 22, 2020Updated 5 years ago
• haesbaert / ocaml-mpsc

  View on GitHub
  Lockless Multiple Producer Single Consumer Queue for ocaml-multicore
  ☆17Mar 20, 2022Updated 3 years ago
• TritonDataCenter / convertvm

  View on GitHub
  convert OVF vm packages to smartos compatible images
  ☆29Feb 4, 2016Updated 10 years ago
• madnut-ua / check_mk-msteams

  View on GitHub
  MS Teams integration with Check_MK
  ☆13May 3, 2021Updated 4 years ago
• mk-fg / pfsense-scripts

  View on GitHub
  Misc ad-hoc helper scripts for pfSense boxes
  ☆14Sep 7, 2015Updated 10 years ago
• DonnchaC / tor-hs-descriptor-fetcher

  View on GitHub
  Simple tool to regularly pool Tor HSDirs for hidden service descriptors
  ☆10Jul 3, 2015Updated 10 years ago
• sbradley7777 / sx

  View on GitHub
  A tool to extract and analyze data from sosreports.
  ☆16Oct 29, 2024Updated last year
• nullromo / compression-accelerator

  View on GitHub
  Implementation of the Snappy compression algorithm as a RoCC accelerator
  ☆12Jul 29, 2019Updated 6 years ago
• The-Running-Dev / BoxStarter

  View on GitHub
  A Windows Dev PC BoxStarter repository
  ☆13Dec 13, 2018Updated 7 years ago
• kagarcia1618 / Network-Config-Tracker

  View on GitHub
  Network devices configuration change tracker.
  ☆14Aug 31, 2023Updated 2 years ago