<commit_before>P# Samples
====================
A collection of samples that show how to use the P# framework to build or systematically test asynchronous, event-driven applications.

## Where to start
If you are new to P#, please check out the **PSharpAsLibrary** or **PSharpAsLanguage** samples.

You can probably start with the basic [PingPong](https://github.com/p-org/PSharp/tree/master/Samples/PSharpAsLibrary/PingPong) application, which is written using P# as a C# library. If you are feeling a bit adventurous, you might want to try the [PingPong](https://github.com/p-org/PSharp/tree/master/Samples/PSharpAsLanguage/PingPong) application, written in the high-level syntax of P#.

If you have any questions, please get in touch!

## Sample categories
- **PSharpAsLibrary**, which includes sample applications created using P# as a C# library.
- **PSharpAsLanguage**, which includes sample applications created using the high-level syntax of P#.
- **Umanaged**, which includes samples of using P# to systematically test unmanaged applications written in C++.
- **Experimental**, which contain experimental features of P#, primarily to be used by the P# dev team.<commit_msg>updated samples README<commit_after>P# Samples
====================
A collection of samples that show how to use the P# framework to build or systematically test asynchronous, event-driven applications.

## Where to start
If you are new to P#, please check out the **PSharpAsLibrary** or **PSharpAsLanguage** samples.

You can probably start with the basic [PingPong](https://github.com/p-org/PSharp/tree/master/Samples/PSharpAsLibrary/PingPong) application, which is written using P# as a C# library. If you are feeling a bit adventurous, you might want to try the [PingPong](https://github.com/p-org/PSharp/tree/master/Samples/PSharpAsLanguage/PingPong) application, written in the high-level syntax of P#.

If you have any questions, please get in touch!

## Sample categories
- **PSharpAsLibrary**, which includes sample applications created using P# as a C# library.
- **PSharpAsLanguage**, which includes sample applications created using the high-level syntax of P#.
- **Distributed**, which includes sample P# applications that can run remotely on multiple processes.
- **Umanaged**, which includes samples of using P# to systematically test unmanaged applications written in C++.
- **Experimental**, which contain experimental features of P#, primarily to be used by the P# dev team.
{'fraction_non_alphanumeric': 0.10351799433885968, 'fraction_numerical': 0.0, 'mean_word_length': 5.138957816377172, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 3, 'https://': 4, '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': '2800259', 'n_tokens_mistral': 670, 'n_tokens_neox': 624, 'n_words': 304}