Pinned Repositories
blog
DontFearTheProfunctorOptics
Don't Fear the Profunctor Optics!
doric
Type safety for spark columns
gist
Little snippets of code illustrating functional programming techniques in Scala
puretest
Purely functional testing in Scala
pykx
PyKX is a Python first interface to the worlds fastest time-series database kdb+ and it's underlying vector programming language q.
scalacrashcourse
Crash course in Scala
sparkOptics
Optics for Spark DataFrames
stateless
A library which is not recognized as citizen of any infrastructure.
tagless-final-tutorial
Introducing tagless-final in Scala with an example of Language-Integrated Query
Habla Computing's Repositories
hablapps/DontFearTheProfunctorOptics
Don't Fear the Profunctor Optics!
hablapps/doric
Type safety for spark columns
hablapps/sparkOptics
Optics for Spark DataFrames
hablapps/scalacrashcourse
Crash course in Scala
hablapps/tagless-final-tutorial
Introducing tagless-final in Scala with an example of Language-Integrated Query
hablapps/shapeaware
Code for a post on shape-aware algebraic data types and computations
hablapps/quercus
Monadic Parser Combinators for Q
hablapps/syllogisms
hablapps/logicandtypes
hablapps/whatlogiccanteachus
Notebook and slides for the talk "What logic can teach us" at Scalacon'22
hablapps/embeddinginscala
Slides and notebooks for the talk "Embedding external DSL in Scala: Why and How?"
hablapps/codemotion21
A brief talk on the Curry-Howard isomorphism, using the Scala programming language
hablapps/lambdas
Embedding of different lambda calculi in Scala
hablapps/seismicdata
hablapps/blog
hablapps/pykx
PyKX is a Python first interface to the worlds fastest time-series database kdb+ and it's underlying vector programming language q.
hablapps/algorithms
Implementation in Scala of algorithmic patterns
hablapps/AllRoadsLeadToKdb
hablapps/confit-spark
Conf.it conference spark training
hablapps/delta-table-first-steps
hablapps/hablapps.github.io
Habla computing webpage
hablapps/insights-demo
Code snippets, schemas, and some utilities are provided for the reproduction of the Insights post.
hablapps/kdb-tick
Latest source files for kdb+tick
hablapps/kdbspark
Spark Data Source (V2) for Kx Systems kdb+ Database
hablapps/kx-dashboards-post
hablapps/logic-conf.it22
hablapps/pairstrading
hablapps/pykx-fpmadrid-2024
PyKX: a gateway drug into q
hablapps/robotrader24
Latest source files for kdb+tick
hablapps/staging_dotty