Pinned Repositories
DontFearTheProfunctorOptics
Don't Fear the Profunctor Optics!
doric
Type safety for spark columns
gist
Little snippets of code illustrating functional programming techniques in Scala
jqscala
Tagless-final embedding of the jq language 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/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/seismicdata
hablapps/blog
hablapps/jqscala
Tagless-final embedding of the jq language in Scala
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
hablapps/WhereFPMeetsArrayThinking
Lambda World 2024: Where Functional Programming Meets Array Thinking