neutropolis Goto Github PK

blog

coconway

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

codemotion14

Workshop "Programación funcional con Scala y aplicaciones para la Web" impartido en CodeMotion 14

cool-factory

dontfeartheprofunctoroptics

Don't Fear the Profunctor Optics!

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

expand

Macro Annotations to expand boilerplate types.

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

intro-scala

Introduction to Scala

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

lensstateisyourfather

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

math-comp

Mathematical Components

monocle

Optics library for Scala

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

puretest

Purely functional testing in Scala

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