neutropolis

reconciling

Reconciling abstraction with high performance

LensStateIsYourFather

Lens, State is your father... and I can prove It!

blog

coconway

A Conway's Game of Life implemented by means of comonads

doobie

principled database access for scala

doric

Type safety for spark columns

dotty-parser-combinators

Experimenting with Dotty using parser combinators as example

eta

The Eta Programming Language, a dialect of Haskell on the JVM

fs2

Compositional, streaming I/O library for Scala

funq

Source files for "Fun Q: A Functional Introduction to Machine Learning in Q"

Haskell-MMorph-Library

Monad morphisms

hello-eta

Eta Hello World

hello-slick

kcc

k crash course

kdbspark

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

koky

Typeclasses, datatypes and theorems for functional programming in Coq.

ksimple

k/simple is a bare minimum k interpreter for learning purposes by arthur whitney

language-integrated_query

Comparison of language-integrated query approaches

LensAlgebra

Connections between lenses and stateful algebras

math-comp

Mathematical Components

OpticTypeclass

Experimenting with typeclasses that provide optics

organisation-optics

Interpreting (read-only) optics over T-Linq

pattern-matching-post

Pattern matching notebook for blog post

pykx

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

quill

Compile-time Language Integrated Queries for Scala

recursion-schemes

Toying around with Dotty using recursion-schemes as guiding example

scala-virtualized-sandbox

Toying around with scala-virtualized

shapeaware

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

shapeless

Generic programming for Scala

TorQ

kdb+ production framework. Read the doc: https://dataintellecttech.github.io/TorQ/. Join the group!