4 search results for "author:"Nate Foster <jnfoster@cs.cornell.edu>""

  1. 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
    Last published 09 Nov 2021
  2. 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
    Last published 18 Feb 2020
  3. p4pp
    P4PP: Preprocessor for P4 Language
    Nate Foster <jnfoster@cs.cornell.edu>
    0.1.12
    Apache-2.0
    Used by 0 other packages
    Last published 18 Jul 2022
  4. petr4
    Petr4: Formal Semantics for the P4 Programming Language
    Nate Foster <jnfoster@cs.cornell.edu>
    0.1.1
    Apache-2.0
    Used by 0 other packages
    Last published 30 Apr 2019