Habla Computing's repositories
DontFearTheProfunctorOptics
Don't Fear the Profunctor Optics!
sparkOptics
Optics for Spark DataFrames
scalacrashcourse
Crash course in Scala
tagless-final-tutorial
Introducing tagless-final in Scala with an example of Language-Integrated Query
shapeaware
Code for a post on shape-aware algebraic data types and computations
whatlogiccanteachus
Notebook and slides for the talk "What logic can teach us" at Scalacon'22
embeddinginscala
Slides and notebooks for the talk "Embedding external DSL in Scala: Why and How?"
codemotion21
A brief talk on the Curry-Howard isomorphism, using the Scala programming language
jqscala
Tagless-final embedding of the jq language in Scala
algorithms
Implementation in Scala of algorithmic patterns
confit-spark
Conf.it conference spark training
hablapps.github.io
Habla computing webpage
insights-demo
Code snippets, schemas, and some utilities are provided for the reproduction of the Insights post.
pykx-fpmadrid-2024
PyKX: a gateway drug into q
robotrader24
Latest source files for kdb+tick