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

Showing 1 - 5
  1. frenetic
    Documentation
    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
    09 Nov 2021
  2. idds
    Documentation
    Identity-suppressed decision diagrams (IDDs)
    Steffen Smolka <smolka@cs.cornell.edu>
    0.2
    MIT
    Used by 1 other packages
    07 Dec 2019
  3. netkat

    No documentation

    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
    18 Feb 2020
  4. nice_parser
    Documentation
    Nice parsers without the boilerplate
    Steffen Smolka <smolka@cs.cornell.edu>
    1.0.0
    MIT
    Used by 1 other packages
    28 Jul 2019
  5. open
    Documentation
    Open files in their default applications
    Steffen Smolka <smolka@cs.cornell.edu>
    0.2.2
    MIT
    Used by 3 other packages
    28 Sep 2018