5 search results for "author:"Steffen Smolka <smolka@cs.cornell.edu>""

frenetic
The Frenetic Programming Language and Runtime System
Arjun Guha <arjun@cs.umass.edu>, Nate Foster <jnfoster@cs.cornell.edu>, Steffen Smolka <smolka@cs.cornell.edu>
5.0.5
LGPL-3.0-or-later
Used by 0 other packages
idds
Identity-suppressed decision diagrams (IDDs)
Steffen Smolka <smolka@cs.cornell.edu>
0.2
MIT
Used by 1 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
nice_parser
Nice parsers without the boilerplate
Steffen Smolka <smolka@cs.cornell.edu>
1.0.0
MIT
Used by 1 other packages
open
Open files in their default applications
Steffen Smolka <smolka@cs.cornell.edu>
0.2.2
MIT
Used by 3 other packages