The Wayback Machine - https://web.archive.org/web/20200802204059/https://github.com/topics/patterns
Skip to content
#

patterns

Here are 864 public repositories matching this topic...

Abstractions and constructions from math (Category theory, Abstract algebra) implementations in Scala, minimal description, links to good explanations, links to implementations in other FP languages: Haskell, Idris, Purescript, non FP too: Java, C++ and to formalizations in proof assistants: Coq (UniMath, HoTT book), Cubical Agda.
  • Updated Jul 29, 2020
  • Scala

Improve this page

Add a description, image, and links to the patterns topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the patterns topic, visit your repo's landing page and select "manage topics."

Learn more

You can’t perform that action at this time.