hablapps

DontFearTheProfunctorOptics

Don't Fear the Profunctor Optics!

doric

Type safety for spark columns

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

syllogisms

logicandtypes

quercus

Monadic Parser Combinators for Q

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

lambdas

Embedding of different lambda calculi in Scala

seismicdata

blog

pykx

PyKX is a Python first interface to the worlds fastest time-series database kdb+ and it's underlying vector programming language q.

algorithms

Implementation in Scala of algorithmic patterns

AllRoadsLeadToKdb

confit-spark

Conf.it conference spark training

delta-table-first-steps

hablapps.github.io

Habla computing webpage

insights-demo

Code snippets, schemas, and some utilities are provided for the reproduction of the Insights post.

kdb-tick

Latest source files for kdb+tick

kdbspark

Spark Data Source (V2) for Kx Systems kdb+ Database

kx-dashboards-post

logic-conf.it22

pairstrading

pykx-fpmadrid-2024

PyKX: a gateway drug into q

robotrader24

Latest source files for kdb+tick

staging_dotty