5 search results for "author:"Steffen Smolka <smolka@cs.cornell.edu>""
frenetic
The Frenetic Programming Language and Runtime System
5.0.5
LGPL-3.0-or-later
Used by 0 other packages
netkat
A clean slate implementation of NetKAT
Caleb Koch <cak247@cornell.edu>
Steffen Smolka <smolka@cs.cornell.edu>
Nate Foster <jnfoster@cs.cornell.edu>
0.1
MIT
Used by 0 other packages