Iptables_Semantics

diekmann

Verified iptables Firewall Ruleset Analysis

haskell

View on GitHub Website

97 Stars

13 Forks

97 Watchers

Isabelle Language

bsd-2-clause License

Cost to Build

$1.01M

Market Value

$2.06M

How is this calculated?

Growth over time

7 data points · 2021-08-01 → 2025-02-01

Stars Forks Watchers

💬

How do you feel about this project?

Ask AI about Iptables_Semantics

Question copied to clipboard

What is the diekmann/Iptables_Semantics GitHub project? Description: "Verified iptables Firewall Ruleset Analysis". Written in Isabelle. Explain what it does, its main use cases, key features, and who would benefit from using it.

Question is copied to clipboard — paste it after the AI opens.

How to clone Iptables_Semantics

Clone via HTTPS

git clone https://github.com/diekmann/Iptables_Semantics.git

Clone via SSH

[email protected]:diekmann/Iptables_Semantics.git

Download ZIP

Download master.zip

Found an issue?

Report bugs or request features on the Iptables_Semantics issue tracker:

Open GitHub Issues

Similar to Iptables_Semantics

awesomo codeworld blog Project-Euler-solutions pragmatapro arl compiler-explorer postgrest nvim-hs constellation Yampa wire-server marvin patat milewski-ctfp-pdf graphql-engine hython zip taffybar eta wiwinwlh hledger lux intero articles purescript cardano-sl unison haste-compiler grenade