<commit_before><!DOCTYPE html>
<html>
  <head>
    <meta charset="utf-8">
    <meta name="viewport" content="width=device-width, initial-scale=1">
    <title>251 Games!</title>
    <link rel="stylesheet" href="//netdna.bootstrapcdn.com/bootstrap/3.0.3/css/bootstrap.min.css">
  </head>
  <body>
    <div class="container">
      <div class="row">
        <div class="col-md-6 col-md-offset-3">
          <h1 class="text-center">15-251 Games!</h1>
          <p class="lead text-center">TAs in 15-251 really like to give us board game proofs. I myself find that it's useful to be able to play these games to get a feel for their dynamics. Here are a few that I've taken the time to whip up into web games!</p>
        </div>
      </div>
      <div class="row">
        <div class="col-md-4">
          <h3 class="text-center">Galumphing Banderwoozles</h3>
          <p class="lead text-center">Pressing a tile turns it red and toggles the state of all it's neighbors. Try to see which ones you can solve by turning the entire board red!</p>
          <a class="btn btn-primary btn-lg" href="galumphing-banderwoozles/">Play!</a>
        </div>
        <div class="col-md-4">
          <h3 class="text-center">Game of Thrones: Varys</h3>
          <p class="lead text-center">This is the game that Varys proposes to Littlefinger. Can you get it to the state where all are blue but the middle dot is red?</p>
          <a class="btn btn-primary btn-lg" href="game-of-thrones-varys/">Play!</a>
        </div>
        <div class="col-md-4 hidden">
          <h3 class="text-center">A Song of Orbits</h3>
          <p class="lead text-center">A simulator for the song of orbits activity: choose some initial values and step it out!</p>
          <a class="btn btn-primary btn-lg" href="song-of-orbits/">Play!</a>
        </div>
      </div>
    </div>
    <!--
    <script src="//ajax.googleapis.com/ajax/libs/jquery/1.10.2/jquery.min.js"></script>
    <script src="//netdna.bootstrapcdn.com/bootstrap/3.0.3/js/bootstrap.min.js"></script>
    -->
  </body>
</html>
<commit_msg>Removed hidden<commit_after><!DOCTYPE html>
<html>
  <head>
    <meta charset="utf-8">
    <meta name="viewport" content="width=device-width, initial-scale=1">
    <title>251 Games!</title>
    <link rel="stylesheet" href="//netdna.bootstrapcdn.com/bootstrap/3.0.3/css/bootstrap.min.css">
  </head>
  <body>
    <div class="container">
      <div class="row">
        <div class="col-md-6 col-md-offset-3">
          <h1 class="text-center">15-251 Games!</h1>
          <p class="lead text-center">TAs in 15-251 really like to give us board game proofs. I myself find that it's useful to be able to play these games to get a feel for their dynamics. Here are a few that I've taken the time to whip up into web games!</p>
        </div>
      </div>
      <div class="row">
        <div class="col-md-4">
          <h3 class="text-center">Galumphing Banderwoozles</h3>
          <p class="lead text-center">Pressing a tile turns it red and toggles the state of all it's neighbors. Try to see which ones you can solve by turning the entire board red!</p>
          <a class="btn btn-primary btn-lg" href="galumphing-banderwoozles/">Play!</a>
        </div>
        <div class="col-md-4">
          <h3 class="text-center">Game of Thrones: Varys</h3>
          <p class="lead text-center">This is the game that Varys proposes to Littlefinger. Can you get it to the state where all are blue but the middle dot is red?</p>
          <a class="btn btn-primary btn-lg" href="game-of-thrones-varys/">Play!</a>
        </div>
        <div class="col-md-4">
          <h3 class="text-center">A Song of Orbits</h3>
          <p class="lead text-center">A simulator for the song of orbits activity: choose some initial values and step it out!</p>
          <a class="btn btn-primary btn-lg" href="song-of-orbits/">Play!</a>
        </div>
      </div>
    </div>
    <!--
    <script src="//ajax.googleapis.com/ajax/libs/jquery/1.10.2/jquery.min.js"></script>
    <script src="//netdna.bootstrapcdn.com/bootstrap/3.0.3/js/bootstrap.min.js"></script>
    -->
  </body>
</html>

{'fraction_non_alphanumeric': 0.1548137397194001, 'fraction_numerical': 0.018384131591678763, 'mean_word_length': 2.708520179372197, 'pattern_counts': {'":': 0, '<': 109, '<?xml version=': 0, '>': 109, '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': '301740', 'n_tokens_mistral': 1432, 'n_tokens_neox': 1361, 'n_words': 402}