typelevel · valencik · Jan 25, 2023 · Jan 25, 2023 · Jan 25, 2023
diff --git a/collections/_projects/cats.md b/collections/_projects/cats.md
@@ -1,38 +1,8 @@
 ---
-layout: post
 title: "Cats"
 category: "Functional Programming"
 description: "A library intended to provide abstractions for functional programming in Scala, leveraging its unique features. Design goals are approachability, modularity, documentation and efficiency."
 permalink: "https://typelevel.org/cats/"
 github: "https://github.com/typelevel/cats"
-
 core: true
-extensions:
-  - title: Cats-Effect
-    description: "The IO Monad for Scala, plus type classes for general effect types."
-    link: "https://typelevel.org/cats-effect/"
-  - title: "FS2"
-    description: "Functional Streams for Scala, with implementations for compression, disk I/O, and TCP"
-    link: "https://typelevel.org/fs2/"
-  - title: "Cats MTL"
-    description: "Monad transformers made easy"
-    link: "https://typelevel.org/cats-mtl/"
-  - title: "Cats Collections"
-    description: "Data structures that facilitate pure functional programming with cats"
-    link: "https://github.com/typelevel/cats-collections"
-  - title: "Cats Tagless"
-    description: "A library of utilities for tagless final algebras"
-    link: "https://typelevel.org/cats-tagless/"
-  - title: "Alleycats"
-    description: "Lawless classes & illegal instances"
-    link: "https://github.com/typelevel/cats"
-  - title: "Mouse"
-    description: "Enrichments to standard library classes to ease functional programming"
-    link: "https://typelevel.org/mouse/"
-  - title: "Kittens"
-    description: "Automatic type class derivation"
-    link: "https://github.com/milessabin/kittens"
-  - title: "Cats-Time"
-    description: "Instances for Cats Typeclasses for Java 8 Time"
-    link: "https://github.com/ChristopherDavenport/cats-time"
 ---
diff --git a/collections/_projects/decline.md b/collections/_projects/decline.md
@@ -1,5 +1,4 @@
 ---
-layout: post
 title: "decline"
 category: "Command-line parsing"
 description: "A composable command-line parser for Scala."

diff --git a/collections/_projects/discipline.md b/collections/_projects/discipline.md
@@ -1,5 +1,4 @@
 ---
-layout: post
 title: "discipline"
 category: "Flexible law checking"
 description: "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."

diff --git a/collections/_projects/doobie.md b/collections/_projects/doobie.md
@@ -1,5 +1,4 @@
 ---
-layout: post
 title: "doobie"
 category: "Principled database access"
 description: "A pure functional JDBC layer for Scala. It is not an ORM, nor is it a relational algebra; it just provides a principled way to construct programs (and higher-level libraries) that use JDBC."

diff --git a/collections/_projects/eff.md b/collections/_projects/eff.md
@@ -1,5 +1,4 @@
 ---
-layout: post
 title: "eff"
 category: "effects"
 description: "Extensible effects are an alternative to monad transformers for computing with effects in a functional way. This library is based on the “free-er” monad and an “open union” of effects described by Oleg Kiselyov in “Freer monads, more extensible effects”"

diff --git a/collections/_projects/fabric.md b/collections/_projects/fabric.md
@@ -1,5 +1,4 @@
 ---
-layout: post
 title: "fabric"
 category: "JSON Library"
 description: "Object-Notation Abstraction for JSON, binary, HOCON, etc."

diff --git a/collections/_projects/frameless.md b/collections/_projects/frameless.md
@@ -1,5 +1,4 @@
 ---
-layout: post
 title: "Frameless"
 category: "Typeful Spark"
 description: "Frameless is a library for working with Spark using more expressive types."

diff --git a/collections/_projects/fs2.md b/collections/_projects/fs2.md
@@ -1,5 +1,4 @@
 ---
-layout: post
 title: "fs2"
 category: "Stream Processing"
 description: "FS2 is a library for purely functional, effectful, and polymorphic stream processing library in the Scala programming language. Its design goals are compositionality, expressiveness, resource safety, and speed. The name is a modified acronym for Functional Streams for Scala (FSS, or FS2)."

diff --git a/collections/_projects/monix.md b/collections/_projects/monix.md
@@ -1,5 +1,4 @@
 ---
-layout: post
 title: "Monix"
 category: "Asynchronous, Reactive Programming"
 description: "High-performance library for composing asynchronous, event-based programs, exposing a Reactive Streams implementation along with primitives for dealing with concurrency and side-effects."

diff --git a/collections/_projects/monocle.md b/collections/_projects/monocle.md
@@ -1,5 +1,4 @@
 ---
-layout: post
 title: "Monocle"
 category: "Lenses for Scala"
 description: "Strongly inspired by Haskell's lens library, Monocle is an Optics library where Optics gather the concepts of Lens, Traversal, Optional, Prism and Iso."

diff --git a/collections/_projects/refined.md b/collections/_projects/refined.md
@@ -1,5 +1,4 @@
 ---
-layout: post
 title: "refined"
 category: "Constraints on types"
 description: "Tools for refining types with type-level predicates which constrain the set of values described by the refined type, for example restricting to positive or negative numbers."

diff --git a/collections/_projects/scalacheck.md b/collections/_projects/scalacheck.md
@@ -1,5 +1,4 @@
 ---
-layout: post
 title: "ScalaCheck"
 category: "Property checking"
 description: "ScalaCheck is a library for automated property-based testing. It contains generators for randomized test data and combinators for properties."

diff --git a/collections/_projects/scodec.md b/collections/_projects/scodec.md
@@ -1,5 +1,4 @@
 ---
-layout: post
 title: "scodec"
 category: "Binary serialization"
 description: "scodec is a combinator library for working with binary data. It focuses on contract-first and pure functional encoding and decoding of binary data and provides integration with shapeless."

diff --git a/collections/_projects/shapeless.md b/collections/_projects/shapeless.md
@@ -1,19 +1,8 @@
 ---
-layout: post
 title: "Shapeless"
 category: "Generic Programming"
 description: "Shapeless is a generic programming library. Starting with implementations of Scrap your boilerplate and higher rank polymorphism in Scala, it quickly grew to provide advanced abstract tools like heterogenous lists and automatic instance derivation for type classes."
 github: "https://github.com/milessabin/shapeless"
 affiliate: true
 core: true
-extensions:
-  - title: "argonaut-shapeless"
-    description: "Automatic derivation for argonaut"
-    link: "https://github.com/alexarchambault/argonaut-shapeless"
-  - title: "scalacheck-shapeless"
-    description: "Automatic derivation for ScalaCheck"
-    link: "https://github.com/alexarchambault/scalacheck-shapeless"
-  - title: "shapeless-contrib"
-    description: "Various bindings for third-party libraries"
-    link: "https://github.com/typelevel/shapeless-contrib"
 ---
diff --git a/collections/_projects/specs2.md b/collections/_projects/specs2.md
@@ -1,5 +1,4 @@
 ---
-layout: post
 title: "specs2"
 category: "Expressive specifications"
 description: "specs2 is a library for writing executable software specifications, aiming for conciseness, readability and extensibility."

diff --git a/collections/_projects/spire.md b/collections/_projects/spire.md
@@ -1,5 +1,4 @@
 ---
-layout: post
 title: "spire"
 category: "Numeric abstractions"
 description: "Spire is a numeric library for Scala which is intended to be generic, fast, and precise. Using features such as specialization, macros, type classes, and implicits, Spire works hard to defy conventional wisdom around performance and precision trade-offs."