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

frenetic
The Frenetic Programming Language and Runtime System
idds
Identity-suppressed decision diagrams (IDDs)
0.2
MIT
Used by 1 other packages
nice_parser
Nice parsers without the boilerplate
1.0.0
MIT
Used by 1 other packages
open
Open files in their default applications
0.2.2
MIT
Used by 3 other packages