Jesús López-González's repositories
TorQ
kdb+ production framework. Read the doc: https://dataintellecttech.github.io/TorQ/. Join the group!
ksimple
k/simple is a bare minimum k interpreter for learning purposes by arthur whitney
pykx
PyKX is a Python first interface to the worlds fastest time-series database kdb+ and it's underlying vector programming language q.
funq
Source files for "Fun Q: A Functional Introduction to Machine Learning in Q"
coconway
A Conway's Game of Life implemented by means of comonads
kcc
k crash course
reconciling
Reconciling abstraction with high performance
doric
Type safety for spark columns
pattern-matching-post
Pattern matching notebook for blog post
kdbspark
Spark Data Source (V2) for Kx Systems kdb+ Database
recursion-schemes
Toying around with Dotty using recursion-schemes as guiding example
dotty-parser-combinators
Experimenting with Dotty using parser combinators as example
organisation-optics
Interpreting (read-only) optics over T-Linq
language-integrated_query
Comparison of language-integrated query approaches
shapeaware
Code for a post on shape-aware algebraic data types and computations
hello-eta
Eta Hello World
scala-virtualized-sandbox
Toying around with scala-virtualized
eta
The Eta Programming Language, a dialect of Haskell on the JVM
quill
Compile-time Language Integrated Queries for Scala
OpticTypeclass
Experimenting with typeclasses that provide optics
math-comp
Mathematical Components
shapeless
Generic programming for Scala
Haskell-MMorph-Library
Monad morphisms
LensAlgebra
Connections between lenses and stateful algebras
koky
Typeclasses, datatypes and theorems for functional programming in Coq.
LensStateIsYourFather
Lens, State is your father... and I can prove It!
fs2
Compositional, streaming I/O library for Scala
doobie
principled database access for scala