Pinned repositories

  1. puretest

    Purely functional testing in Scala

    Scala 26 8

  2. stateless

    A library which is not recognized as citizen of any infrastructure.

    Scala 15 1

  3. DontFearTheProfunctorOptics

    Don't Fear the Profunctor Optics!

    Haskell 126 9

  4. gist

    Little snippets of code illustrating functional programming techniques in Scala

    Scala 44 4

  5. typeclassesforthemasses

    Workshop Lambda World 2016

    Scala 17 1

  6. bypassingfreemonads

    Object algebras vs. free monads, or type classes vs. ADTs

    Scala 15 3

  • Programming in a tagless-final style, naturally

    Scala Apache-2.0 Updated Aug 14, 2018
  • Playing with typesafe representations of optics

    Scala Updated Aug 3, 2018
  • Little snippets of code illustrating functional programming techniques in Scala

    Scala 44 4 Updated Aug 3, 2018
  • Typeclasses, datatypes and theorems for functional programming in Coq.

    Coq 3 1 Apache-2.0 Updated May 17, 2018
  • Purely functional testing in Scala

    Scala 26 8 Updated May 8, 2018
  • A library which is not recognized as citizen of any infrastructure.

    Scala 15 1 Apache-2.0 Updated May 4, 2018
  • A proof-of-concept application to show the principles of purely functional programming

    Scala 1 Updated May 4, 2018
  • ☁️ Scala HTTP API using Akka HTTP used in a CodelyTV Pro course ☁️

    Scala 15 MIT Updated Apr 13, 2018
  • Towards Optic-Based Algebraic Theories: the Case of Lenses

    Coq 4 1 Apache-2.0 Updated Mar 27, 2018
  • Don't Fear the Profunctor Optics!

    Haskell 126 9 Updated Mar 22, 2018
  • A proof of concept for a general batch data transformation DSL

    Scala 13 1 Updated Mar 13, 2018
  • Lens, State is your father... and I can prove It!

    Coq 8 2 Apache-2.0 Updated Jan 25, 2018
  • Updating immutable objects in generic contexts.

    Scala 14 2 Apache-2.0 Updated Nov 28, 2017
  • A cohesive & pragmatic framework of FP centric Scala libraries

    Scala 39 Apache-2.0 Updated Nov 26, 2017
  • Repository used in Codemotion 2017 workshop - Programación Funcional en Scala

    Scala 1 6 Updated Nov 24, 2017
  • Making the most of Scala through functional programming - Workshop @ Big Data Spain'17

    1 Updated Nov 14, 2017
  • Don't Fear the Optics - Workshop @ Lambda World 17

    Scala 7 2 Apache-2.0 Updated Oct 30, 2017
  • Optics library for Scala

    Scala 137 MIT Updated Oct 10, 2017
  • Object algebras vs. free monads, or type classes vs. ADTs

    Scala 15 3 Updated Jun 9, 2017
  • Pregel DSL with instances for Spark and Akka

    Scala Updated Apr 5, 2017
  • An invitation to functional programming

    Scala 10 3 Updated Mar 14, 2017
  • Syntactic facilities to deal with algebras

    Scala 5 1 Updated Feb 20, 2017
  • Candy Crush (Scala Programming @ Madrid - December 2016)

    Scala 9 3 Apache-2.0 Updated Dec 15, 2016
  • scalaz

    Forked from scalaz/scalaz

    An extension to the core Scala library for functional programming.

    Scala 646 Updated Nov 17, 2016
  • Workshop Lambda World 2016

    Scala 17 1 Updated Oct 4, 2016
  • Scala 11 3 Apache-2.0 Updated Sep 8, 2016
  • cats

    Forked from typelevel/cats

    Lightweight, modular, and extensible library for functional programming.

    Scala 656 Updated Sep 2, 2016
  • Scala 4 Updated Nov 30, 2015
  • Scala 5 Updated Oct 26, 2015
  • Habla Computing Training

    TeX 2 5 Updated Oct 2, 2015