{"payload":{"pageCount":3,"repositories":[{"type":"Public","name":"pairstrading","owner":"hablapps","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Jupyter Notebook","color":"#DA5B0B"},"pullRequestCount":6,"issueCount":6,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-03T07:50:12.719Z"}},{"type":"Public","name":"doric","owner":"hablapps","isFork":false,"description":"Type safety for spark columns","allTopics":["big-data","typesafe","big","dataframe","spark-columns","scala","spark"],"primaryLanguage":{"name":"Scala","color":"#c22d40"},"pullRequestCount":8,"issueCount":25,"starsCount":74,"forksCount":11,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-29T15:37:43.040Z"}},{"type":"Public","name":"blog","owner":"hablapps","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"HTML","color":"#e34c26"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":3,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-28T14:07:21.770Z"}},{"type":"Public","name":"quercus","owner":"hablapps","isFork":false,"description":"Monadic Parser Combinators for Q","allTopics":[],"primaryLanguage":{"name":"q","color":"#0040cd"},"pullRequestCount":2,"issueCount":4,"starsCount":5,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-30T07:57:47.865Z"}},{"type":"Public","name":"pykx","owner":"hablapps","isFork":true,"description":"PyKX is a Python first interface to the worlds fastest time-series database kdb+ and it's underlying vector programming language q.","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":3,"issueCount":4,"starsCount":0,"forksCount":11,"license":"Other","participation":[0,0,0,0,0,0,4,0,0,0,0,2,0,0,0,2,0,0,2,0,3,0,2,5,0,0,0,0,10,0,0,0,7,0,0,2,2,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-11T11:19:14.827Z"}},{"type":"Public","name":"robotrader24","owner":"hablapps","isFork":true,"description":"Latest source files for kdb+tick","allTopics":[],"primaryLanguage":{"name":"Jupyter Notebook","color":"#DA5B0B"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":70,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-06T14:30:48.216Z"}},{"type":"Public","name":"whatlogiccanteachus","owner":"hablapps","isFork":false,"description":"Notebook and slides for the talk \"What logic can teach us\" at Scalacon'22","allTopics":[],"primaryLanguage":{"name":"Jupyter Notebook","color":"#DA5B0B"},"pullRequestCount":0,"issueCount":0,"starsCount":3,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-02-28T16:54:31.605Z"}},{"type":"Public","name":"kdb-tick","owner":"hablapps","isFork":true,"description":"Latest source files for kdb+tick","allTopics":[],"primaryLanguage":{"name":"q","color":"#0040cd"},"pullRequestCount":1,"issueCount":0,"starsCount":0,"forksCount":70,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-02-27T12:50:37.560Z"}},{"type":"Public","name":"embeddinginscala","owner":"hablapps","isFork":false,"description":"Slides and notebooks for the talk \"Embedding external DSL in Scala: Why and How?\"","allTopics":[],"primaryLanguage":{"name":"Jupyter Notebook","color":"#DA5B0B"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-02-20T14:24:45.767Z"}},{"type":"Public","name":"insights-demo","owner":"hablapps","isFork":false,"description":"Code snippets, schemas, and some utilities are provided for the reproduction of the Insights post.","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-02-14T16:17:06.275Z"}},{"type":"Public","name":"pykx-fpmadrid-2024","owner":"hablapps","isFork":false,"description":"PyKX: a gateway drug into q","allTopics":[],"primaryLanguage":{"name":"Jupyter Notebook","color":"#DA5B0B"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-01-29T17:13:33.598Z"}},{"type":"Public","name":"kx-dashboards-post","owner":"hablapps","isFork":false,"description":"","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-10-03T13:17:53.385Z"}},{"type":"Public","name":"AllRoadsLeadToKdb","owner":"hablapps","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"HTML","color":"#e34c26"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-09-28T12:50:31.025Z"}},{"type":"Public","name":"syllogisms","owner":"hablapps","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Scala","color":"#c22d40"},"pullRequestCount":0,"issueCount":0,"starsCount":4,"forksCount":3,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-10-20T18:13:51.871Z"}},{"type":"Public","name":"DontFearTheProfunctorOptics","owner":"hablapps","isFork":false,"description":"Don't Fear the Profunctor Optics!","allTopics":["immutability","lenses","modularity","profunctors","optics","profunctor-optics"],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":415,"forksCount":25,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-09-05T06:18:11.404Z"}},{"type":"Public","name":"confit-spark","owner":"hablapps","isFork":false,"description":"Conf.it conference spark training","allTopics":[],"primaryLanguage":{"name":"Jupyter Notebook","color":"#DA5B0B"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-04-08T11:00:45.545Z"}},{"type":"Public","name":"logic-conf.it22","owner":"hablapps","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Jupyter Notebook","color":"#DA5B0B"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-04-08T08:35:50.493Z"}},{"type":"Public","name":"hablapps.github.io","owner":"hablapps","isFork":false,"description":"Habla computing webpage","allTopics":["webpage"],"primaryLanguage":{"name":"HTML","color":"#e34c26"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-02-24T11:50:55.782Z"}},{"type":"Public","name":"logicandtypes","owner":"hablapps","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Jupyter Notebook","color":"#DA5B0B"},"pullRequestCount":0,"issueCount":0,"starsCount":3,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-02-21T10:38:28.309Z"}},{"type":"Public","name":"shapeaware","owner":"hablapps","isFork":false,"description":"Code for a post on shape-aware algebraic data types and computations","allTopics":[],"primaryLanguage":{"name":"Scala","color":"#c22d40"},"pullRequestCount":0,"issueCount":0,"starsCount":7,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-12-20T21:42:38.855Z"}},{"type":"Public","name":"codemotion21","owner":"hablapps","isFork":false,"description":"A brief talk on the Curry-Howard isomorphism, using the Scala programming language","allTopics":[],"primaryLanguage":{"name":"Jupyter Notebook","color":"#DA5B0B"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-12-09T15:59:34.356Z"}},{"type":"Public","name":"algorithms","owner":"hablapps","isFork":false,"description":"Implementation in Scala of algorithmic patterns","allTopics":[],"primaryLanguage":{"name":"Scala","color":"#c22d40"},"pullRequestCount":1,"issueCount":2,"starsCount":0,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-11-08T16:00:58.051Z"}},{"type":"Public","name":"seismicdata","owner":"hablapps","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Scala","color":"#c22d40"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":"GNU Lesser General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-04-07T13:24:52.222Z"}},{"type":"Public","name":"sparkOptics","owner":"hablapps","isFork":false,"description":"Optics for Spark DataFrames","allTopics":["scala","spark","optics","dataframe","dataframes","spark-sql"],"primaryLanguage":{"name":"Scala","color":"#c22d40"},"pullRequestCount":0,"issueCount":1,"starsCount":47,"forksCount":7,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-03-05T09:39:29.778Z"}},{"type":"Public","name":"staging_dotty","owner":"hablapps","isFork":false,"description":"","allTopics":["scala","macros","staging","scala3","sbt","dotty"],"primaryLanguage":{"name":"Scala","color":"#c22d40"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-01-19T18:16:19.722Z"}},{"type":"Public","name":"tagless-final-tutorial","owner":"hablapps","isFork":false,"description":"Introducing tagless-final in Scala with an example of Language-Integrated Query","allTopics":[],"primaryLanguage":{"name":"Jupyter Notebook","color":"#DA5B0B"},"pullRequestCount":0,"issueCount":0,"starsCount":18,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-09-07T12:14:21.761Z"}},{"type":"Public","name":"kdbspark","owner":"hablapps","isFork":true,"description":"Spark Data Source (V2) for Kx Systems kdb+ Database","allTopics":[],"primaryLanguage":{"name":"Scala","color":"#c22d40"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":7,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-05-28T13:33:15.413Z"}},{"type":"Public","name":"delta-table-first-steps","owner":"hablapps","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Jupyter Notebook","color":"#DA5B0B"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-04-16T11:59:57.338Z"}},{"type":"Public","name":"scalacrashcourse","owner":"hablapps","isFork":false,"description":"Crash course in Scala","allTopics":[],"primaryLanguage":{"name":"Jupyter Notebook","color":"#DA5B0B"},"pullRequestCount":0,"issueCount":0,"starsCount":24,"forksCount":19,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-04-14T07:21:10.385Z"}},{"type":"Public","name":"lambdas","owner":"hablapps","isFork":false,"description":"Embedding of different lambda calculi in Scala","allTopics":[],"primaryLanguage":{"name":"Scala","color":"#c22d40"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-01-12T13:04:32.839Z"}}],"repositoryCount":72,"userInfo":null,"searchable":true,"definitions":[],"typeFilters":[{"id":"all","text":"All"},{"id":"public","text":"Public"},{"id":"source","text":"Sources"},{"id":"fork","text":"Forks"},{"id":"archived","text":"Archived"},{"id":"template","text":"Templates"}],"compactMode":false},"title":"Repositories"}