<commit_before>---
layout: index
title: "Powerful libraries for Scala"

meta:
  nav: index
  canonical: ""
---

<div class="jumbotron">
  <h1>{% include typelevel.html %}</h1>
  <p class="lead">Let the Scala compiler work for you. We provide type classes, instances, conversions, testing, supplements to the standard library, and much more.</p>
  <a class="btn btn-large btn-success" href="{{ site.baseurl }}/projects">Get started</a>
</div>

<hr>

<div class="row-fluid">
  <div class="span4">
    <h2>Argonaut</h2>
    <p><span class="tagline">Purely functional JSON.</span> Argonaut is a JSON library for Scala, providing a rich library for parsing, printing and manipulation as well as convenient codecs for translation to and from scala data types.</p>
    <p><a class="btn" href="http://argonaut.io">Learn more &raquo;</a></p>
  </div>
  <div class="span4">
    <h2>discipline</h2>
    <p><span class="tagline">Flexible law checking.</span> Originally intended for internal use in spire, this library helps libraries declaring type classes to precisely state the laws which instances need to satisfy, and takes care of not checking derived laws multiple times.</p>
    <p><a class="btn" href="{{ site.baseurl }}/projects/#helpers">Learn more &raquo;</a></p>
  </div>
  <div class="span4">
    <h2>Monocle</h2>
    <p><span class="tagline">Lenses for Scala.</span> Strongly inspired by Haskell's <code>lens</code> library, Monocle is an Optics library where Optics gather the concepts of <code>Lens</code>, <code>Traversal</code>, <code>Optional</code>, <code>Prism</code> and <code>Iso</code>.</p>
    <p><a class="btn" href="https://github.com/julien-truffaut/Monocle">Learn more &raquo;</a></p>
  </div>
</div>
<div class="row-fluid">
  <div class="span4">
    <h2>ScalaCheck</h2>
    <p><span class="tagline">Property checking.</span> ScalaCheck is a library for automated property-based testing. It contains generators for randomized test data and combinators for properties.</p><commit_msg>Fixed/improved link to discipline<commit_after>---
layout: index
title: "Powerful libraries for Scala"

meta:
  nav: index
  canonical: ""
---

<div class="jumbotron">
  <h1>{% include typelevel.html %}</h1>
  <p class="lead">Let the Scala compiler work for you. We provide type classes, instances, conversions, testing, supplements to the standard library, and much more.</p>
  <a class="btn btn-large btn-success" href="{{ site.baseurl }}/projects">Get started</a>
</div>

<hr>

<div class="row-fluid">
  <div class="span4">
    <h2>Argonaut</h2>
    <p><span class="tagline">Purely functional JSON.</span> Argonaut is a JSON library for Scala, providing a rich library for parsing, printing and manipulation as well as convenient codecs for translation to and from scala data types.</p>
    <p><a class="btn" href="http://argonaut.io">Learn more &raquo;</a></p>
  </div>
  <div class="span4">
    <h2>discipline</h2>
    <p><span class="tagline">Flexible law checking.</span> Originally intended for internal use in spire, this library helps libraries declaring type classes to precisely state the laws which instances need to satisfy, and takes care of not checking derived laws multiple times.</p>
    <p><a class="btn" href="https://github.com/typelevel/discipline">Learn more &raquo;</a></p>
  </div>
  <div class="span4">
    <h2>Monocle</h2>
    <p><span class="tagline">Lenses for Scala.</span> Strongly inspired by Haskell's <code>lens</code> library, Monocle is an Optics library where Optics gather the concepts of <code>Lens</code>, <code>Traversal</code>, <code>Optional</code>, <code>Prism</code> and <code>Iso</code>.</p>
    <p><a class="btn" href="https://github.com/julien-truffaut/Monocle">Learn more &raquo;</a></p>
  </div>
</div>
<div class="row-fluid">
  <div class="span4">
    <h2>ScalaCheck</h2>
    <p><span class="tagline">Property checking.</span> ScalaCheck is a library for automated property-based testing. It contains generators for randomized test data and combinators for properties.</p>
{'fraction_non_alphanumeric': 0.1537888198757764, 'fraction_numerical': 0.006956521739130435, 'mean_word_length': 4.7106382978723405, 'pattern_counts': {'":': 0, '<': 137, '<?xml version=': 0, '>': 137, 'https://': 3, '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': '3881479', 'n_tokens_mistral': 1316, 'n_tokens_neox': 1254, 'n_words': 416}