<commit_before># Cocoon: Correct by Construction Networking 

<commit_msg>one-paragraph summary of cocoon in README<commit_after># Cocoon: Correct by Construction Networking 

Cocoon (for Correct by Construction Networking), is an SDN programming language 
designed around the idea of iterative refinement.  The 
network programmer starts with a high-level description of the 
desired network behavior, focusing on the service the network 
should provide to each packet, as opposed to how this service is 
implemented within the network fabric.  The programmer then 
iteratively refines the top-level specification, adding details of 
the topology, routing, fault recovery, etc., until reaching a 
level of detail sufficient for the Cocoon compiler to generate an 
SDN application that manages network switches via the southbound 
interface (we currently support P4).  
{'fraction_non_alphanumeric': 0.0333716915995397, 'fraction_numerical': 0.0011507479861910242, 'mean_word_length': 5.170212765957447, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 3, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '6550591', 'n_tokens_mistral': 217, 'n_tokens_neox': 198, 'n_words': 116}