GitHub repository: majacQ/fws
Primary language: Haskell
Description:  Language-independent Synthesis of Firewall Policies