Skip to content

@hablapps Habla Computing

Change the repository type filter

All

    Repositories list

    74 repositories

    • doric

      Public
      Type safety for spark columns
      big-datatypesafebigdataframespark-columnsscalaspark
      Scala
      •
      Apache License 2.0
      •11•77•22•14•Updated Nov 7, 2024Nov 7, 2024

    • 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

    • 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•5•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
      •14•0•4•3•Updated Mar 11, 2024Mar 11, 2024

    • robotrader24

      Public
      Latest source files for kdb+tick
      Jupyter Notebook
      •74•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
      •74•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•2•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

    • DontFearTheProfunctorOptics

      Public
      Don't Fear the Profunctor Optics!
      immutabilitylensesmodularityprofunctorsopticsprofunctor-optics
      Haskell
      •25•425•0•0•Updated Sep 5, 2022Sep 5, 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
      scalasparkopticsdataframedataframesspark-sql
      Scala
      •
      Apache License 2.0
      •6•47•1•0•Updated Mar 5, 2021Mar 5, 2021

    • staging_dotty

      Public
      scalamacrosstagingscala3sbtdotty
      Scala
      •0•0•0•0•Updated Jan 19, 2021Jan 19, 2021

    • tagless-final-tutorial

      Public
      Introducing tagless-final in Scala with an example of Language-Integrated Query
      Jupyter Notebook
      •1•18•0•0•Updated Sep 7, 2020Sep 7, 2020

    • kdbspark

      Public
      Spark Data Source (V2) for Kx Systems kdb+ Database
      Scala
      •
      Apache License 2.0
      •8•0•0•0•Updated May 28, 2020May 28, 2020

    • delta-table-first-steps

      Public
      Jupyter Notebook
      •0•0•0•0•Updated Apr 16, 2020Apr 16, 2020