<commit_before>F*: An ML-like language with a type system for program verification
===================================================================

![Build status](https://www.fstar-lang.org:3443/fstarlang/fstar/badge?branch=master)

### F\* website

More information on F\* can be found at www.fstar-lang.org

### Installation
<commit_msg>Link to strider<commit_after>F*: An ML-like language with a type system for program verification
===================================================================

[![Build status](https://www.fstar-lang.org:3443/fstarlang/fstar/badge?branch=master)](https://www.fstar-lang.org:3443/fstarlang/fstar/)

### F\* website

More information on F\* can be found at www.fstar-lang.org

### Installation

{'fraction_non_alphanumeric': 0.29649595687331537, 'fraction_numerical': 0.016172506738544475, 'mean_word_length': 6.213592233009709, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 3, 'https://': 3, 'lorem ipsum': 0, 'www.': 5, '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': '6826945', 'n_tokens_mistral': 226, 'n_tokens_neox': 208, 'n_words': 52}