Pinned Repositories
batfish
Batfish is a network configuration analysis tool that can find bugs and guarantee the correctness of (planned or current) network configurations. It enables network engineers to rapidly and safely evolve their network, without fear of outages or security breaches.
capirca
Multi-platform ACL generation system
fgj-poly
Experimental implementation of Featherweight Generic Java with first-class polymorphism.
iron
Coq formalizations of functional languages.
mirror-core
A framework for extensible, reflective decision procedures.
ohm
A library and language for building parsers, interpreters, compilers, etc.
z3
The Z3 Theorem Prover
batfish
Batfish is a network configuration analysis tool that can find bugs and guarantee the correctness of (planned or current) network configurations. It enables network engineers to rapidly and safely evolve their network, without fear of outages or security breaches.
pybatfish
Python client for Batfish: https://github.com/batfish/batfish
capirca
Multi-platform ACL generation system
anothermattbrown's Repositories
anothermattbrown/batfish
Batfish is a network configuration analysis tool that can find bugs and guarantee the correctness of (planned or current) network configurations. It enables network engineers to rapidly and safely evolve their network, without fear of outages or security breaches.
anothermattbrown/capirca
Multi-platform ACL generation system
anothermattbrown/fgj-poly
Experimental implementation of Featherweight Generic Java with first-class polymorphism.
anothermattbrown/iron
Coq formalizations of functional languages.
anothermattbrown/mirror-core
A framework for extensible, reflective decision procedures.
anothermattbrown/ohm
A library and language for building parsers, interpreters, compilers, etc.
anothermattbrown/z3
The Z3 Theorem Prover