Explore @hablapps Open Source projects

Habla Computing (@hablapps)

hablapps

Stars
865
Global Org. Rank 16,598 (Top 6 %)
Registered over 11 years ago
Most used languages

Scala
72.7 %

Jupyter Notebook
15.9 %

Coq 6.8 %

Haskell
2.3 %

TeX
2.3 %
Location 🇪🇸 Spain
Country Total Rank 436
Country Ranking

Haskell
2

Coq 3

Scala
3

Jupyter Notebook
110

TeX
246

DontFearTheProfunctorOptics

Don't Fear the Profunctor Optics!

doric

Type safety for spark columns

gist

Little snippets of code illustrating functional programming techniques in Scala

sparkOptics

Optics for Spark DataFrames

puretest

Purely functional testing in Scala

stateless

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

scalacrashcourse

Crash course in Scala

Jupyter Notebook

tagless-final-tutorial

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

Jupyter Notebook

LensAlgebra

Towards Optic-Based Algebraic Theories: the Case of Lenses

bypassingfreemonads

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

typeclassesforthemasses

Workshop Lambda World 2016

dataset

A proof of concept for a general batch data transformation DSL

updatable

Updating immutable objects in generic contexts.

meetapp

LensStateIsYourFather

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

candy

Candy Crush (Scala Programming @ Madrid - December 2016)

dontfeartheoptics

Don't Fear the Optics - Workshop @ Lambda World 17

allroadsleadtolambdaworld

An invitation to functional programming

shapeaware

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

azucar

Syntactic facilities to deal with algebras

workshop-lambda-world-15

syllogisms

funinscala-codemotion-15

koky

Typeclasses, datatypes and theorems for functional programming in Coq.

whatlogiccanteachus

Notebook and slides for the talk "What logic can teach us" at Scalacon'22

Jupyter Notebook

logicandtypes

Jupyter Notebook

scico19

Library associated to article submitted to SCICO

training-urjc

Habla Computing Training

embeddinginscala

Slides and notebooks for the talk "Embedding external DSL in Scala: Why and How?"

Jupyter Notebook

pureflow

Spark ETLs, in a purely functional way

geofences

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

wecode19

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

Jupyter Notebook

naturally

Programming in a tagless-final style, naturally

app-dofollow

This an implementation of a BPM software in the Speech Programming Language.

pregel

Pregel DSL with instances for Spark and Akka

seismicdata

app-bigbrothapp

A "Big Brotha" implemented in Speech.

typed

optica

Language-integrated query from a different optic

app-twitter

An example to show how to implement Twitter in Speech.

fpinscala-codemotion-2017

Repository used in Codemotion 2017 workshop - Programación Funcional en Scala

circuits

lambdas

Embedding of different lambda calculi in Scala

codemotion21

A brief talk on the Curry-Howard isomorphism, using the Scala programming language

Jupyter Notebook