Repositories list

• doric

  Public
  Type safety for spark columns

  scalabig-dataspark+ 4typesafebigdataframespark-columns

  Scala

  •

  Apache License 2.0

  •11•78•22•19•Updated Oct 6, 2025Oct 6, 2025

• agentic-evaluation-databricks-repsol

  Public
  Jupyter Notebook

  •0•2•0•0•Updated Jun 27, 2025Jun 27, 2025

• tdd

  Public
  Automating type-driven development with recursion schemes

  Scala

  •0•3•0•0•Updated Jun 13, 2025Jun 13, 2025

• DontFearTheProfunctorOptics

  Public
  Don't Fear the Profunctor Optics!

  immutabilitylensesoptics+ 3modularityprofunctorsprofunctor-optics

  Haskell

  •26•430•0•0•Updated Apr 15, 2025Apr 15, 2025

• jupyterq-docker

  Public
  Dockerized Jupyter environment for kdb+/q.

  Dockerfile

  •

  Apache License 2.0

  •0•1•0•0•Updated Apr 14, 2025Apr 14, 2025

• WhereFPMeetsArrayThinking

  Public
  Lambda World 2024: Where Functional Programming Meets Array Thinking

  Jupyter Notebook

  •0•0•0•0•Updated Oct 2, 2024Oct 2, 2024

• blog

  Public
  HTML

  •3•0•0•0•Updated Jul 4, 2024Jul 4, 2024

• pt

  Public
  Pair Trading in kdb+/q

  q

  •

  Apache License 2.0

  •0•0•0•0•Updated Jul 4, 2024Jul 4, 2024

• pairstrading

  Public
  Jupyter Notebook

  •0•0•6•7•Updated Jul 1, 2024Jul 1, 2024

• quercus

  Public
  Monadic Parser Combinators for Q

  q

  •

  Apache License 2.0

  •0•6•4•2•Updated Apr 30, 2024Apr 30, 2024

• jqscala

  Public
  Tagless-final embedding of the jq language in Scala

  Scala

  •2•0•0•0•Updated Apr 10, 2024Apr 10, 2024

• pykx

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

  Python

  •

  Other

  •18•0•4•3•Updated Mar 11, 2024Mar 11, 2024

• robotrader24

  Public
  Latest source files for kdb+tick

  Jupyter Notebook

  •79•0•0•0•Updated Mar 6, 2024Mar 6, 2024

• whatlogiccanteachus

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

  Jupyter Notebook

  •0•3•0•0•Updated Feb 28, 2024Feb 28, 2024

• kdb-tick

  Public
  Latest source files for kdb+tick

  q

  •79•0•0•1•Updated Feb 27, 2024Feb 27, 2024

• embeddinginscala

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

  Jupyter Notebook

  •0•3•0•0•Updated Feb 20, 2024Feb 20, 2024

• insights-demo

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

  0•0•0•0•Updated Feb 14, 2024Feb 14, 2024

• pykx-fpmadrid-2024

  Public
  PyKX: a gateway drug into q

  Jupyter Notebook

  •0•0•0•0•Updated Jan 29, 2024Jan 29, 2024

• kx-dashboards-post

  Public
  0•0•0•0•Updated Oct 3, 2023Oct 3, 2023

• AllRoadsLeadToKdb

  Public
  HTML

  •0•0•0•0•Updated Sep 28, 2023Sep 28, 2023

• syllogisms

  Public
  Scala

  •3•4•0•0•Updated Oct 20, 2022Oct 20, 2022

• confit-spark

  Public
  Conf.it conference spark training

  Jupyter Notebook

  •0•0•0•0•Updated Apr 8, 2022Apr 8, 2022

• logic-conf.it22

  Public
  Jupyter Notebook

  •0•0•0•0•Updated Apr 8, 2022Apr 8, 2022

• hablapps.github.io

  Public
  Habla computing webpage

  webpage

  HTML

  •0•0•0•0•Updated Feb 24, 2022Feb 24, 2022

• logicandtypes

  Public
  Jupyter Notebook

  •1•3•0•0•Updated Feb 21, 2022Feb 21, 2022

• shapeaware

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

  Scala

  •1•7•0•0•Updated Dec 20, 2021Dec 20, 2021

• codemotion21

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

  Jupyter Notebook

  •1•1•0•0•Updated Dec 9, 2021Dec 9, 2021

• algorithms

  Public
  Implementation in Scala of algorithmic patterns

  Scala

  •1•0•2•1•Updated Nov 8, 2021Nov 8, 2021

• seismicdata

  Public
  Scala

  •

  GNU Lesser General Public License v3.0

  •0•1•0•0•Updated Apr 7, 2021Apr 7, 2021

• sparkOptics

  Public
  Optics for Spark DataFrames

  scalasparkoptics+ 3dataframedataframesspark-sql

  Scala

  •

  Apache License 2.0

  •6•47•1•0•Updated Mar 5, 2021Mar 5, 2021