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