Habla Computing

Repositories

tagless-final-tutorial

Introducing tagless-final in Scala with an example of Language-Integrated Query

Jupyter Notebook 0 9 0 0 Updated Jun 10, 2020

hablapps.github.io

Habla computing webpage

webpage

HTML 0 0 0 0 Updated May 15, 2020

delta-table-first-steps

Jupyter Notebook 0 0 0 0 Updated Apr 16, 2020

scalacrashcourse

Crash course in Scala

Jupyter Notebook 11 15 0 0 Updated Apr 14, 2020

sparkOptics

Optics for Spark DataFrames

scala spark optics dataframe dataframes spark-sql

Scala Apache-2.0 4 31 0 0 Updated Mar 20, 2020

lambdas

Embedding of different lambda calculi in Scala

Scala 0 1 0 0 Updated Jan 12, 2020

staging_dotty

Scala 0 0 0 0 Updated Jan 9, 2020

stateless

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

scala dsl stateless optics higher-order bx

Scala Apache-2.0 2 24 20 0 Updated Dec 13, 2019

scico19

Library associated to article submitted to SCICO

Scala Apache-2.0 0 0 0 0 Updated Oct 22, 2019

SparkYSombras

Repositorio de la charla Spark y sombras

spark talk

Jupyter Notebook 0 0 0 0 Updated Oct 11, 2019

coalgebraz

Fun with coalgebras!

Scala Apache-2.0 0 0 0 4 Updated Sep 10, 2019

koky

Typeclasses, datatypes and theorems for functional programming in Coq.

functional-programming coq typeclasses

Coq Apache-2.0 1 4 0 0 Updated Aug 5, 2019

DontFearTheProfunctorOptics

Don't Fear the Profunctor Optics!

immutability lenses optics modularity profunctors profunctor-optics

Haskell 21 353 0 0 Updated Jul 2, 2019

typed

Scala 0 1 0 0 Updated Apr 27, 2019

wecode19

Repositorio para el workshop sobre APIs funcionales en el WeCode'19

Jupyter Notebook 0 2 0 0 Updated Feb 23, 2019

statelesser

Stateless 2.0

Scala 0 0 0 0 Updated Feb 15, 2019

LensAlgebra

Towards Optic-Based Algebraic Theories: the Case of Lenses

state monad lens natural-transformation

Coq Apache-2.0 1 17 0 0 Updated Nov 26, 2018

scala-http-api

Forked from CodelyTV/scala-ddd-example

☁️ Scala HTTP API using Akka HTTP used in a CodelyTV Pro course ☁️

Scala MIT 114 1 0 2 Updated Nov 12, 2018

circuits

Scala 0 1 0 0 Updated Nov 11, 2018

shapeaware

Code for a post on shape-aware algebraic data types and computations

Scala 1 7 0 0 Updated Oct 27, 2018

safeoptics

Playing with typesafe representations of optics

Scala 0 0 0 0 Updated Oct 22, 2018

pureflow

Spark ETLs, in a purely functional way

scala spark functional-programming pipelines typeclasses

Scala 0 2 0 2 Updated Oct 11, 2018

naturally

Programming in a tagless-final style, naturally

scala functional-programming dependency-injection typeclasses natural-transformation

Scala Apache-2.0 0 2 0 0 Updated Sep 27, 2018

gist

Little snippets of code illustrating functional programming techniques in Scala

Scala 6 51 0 1 Updated Aug 3, 2018

puretest

Purely functional testing in Scala

cats testing functional-programming scalaz typeclasses

Scala 9 28 1 1 Updated May 8, 2018

geofences

A proof-of-concept application to show the principles of purely functional programming

cats scala functional-programming http4s scalaz typeclasses doobie

Scala 2 1 0 0 Updated May 4, 2018

dataset

A proof of concept for a general batch data transformation DSL

Scala 2 14 0 1 Updated Mar 13, 2018

LensStateIsYourFather

Lens, State is your father... and I can prove It!

coq proof state monad lens

Coq Apache-2.0 2 10 0 0 Updated Jan 25, 2018

updatable

Updating immutable objects in generic contexts.

Scala Apache-2.0 2 14 0 1 Updated Nov 28, 2017

freestyle

Forked from frees-io/freestyle

A cohesive & pragmatic framework of FP centric Scala libraries

Scala Apache-2.0 48 0 0 1 Updated Nov 26, 2017