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