Pinned Repositories
automat-challenge
aws-alb-ingress-controller
AWS ALB Ingress Controller for Kubernetes
cats
Lightweight, modular, and extensible library for functional programming.
circe
Yet another JSON library for Scala
coursera-scala-fp
dense
A Type-Level Encoding of Natural Numbers as a Linked List of Bits
doobie
principled database access for scala
eff-cats
Eff monad for cats - http://atnos-org.github.io/eff-cats
elastic4s
Non blocking, type safe DSL and Scala client for Elasticsearch
SDL-idris
SDL bindings package for idris
beefyhalo's Repositories
beefyhalo/dense
A Type-Level Encoding of Natural Numbers as a Linked List of Bits
beefyhalo/SDL-idris
SDL bindings package for idris
beefyhalo/automat-challenge
beefyhalo/aws-alb-ingress-controller
AWS ALB Ingress Controller for Kubernetes
beefyhalo/cats
Lightweight, modular, and extensible library for functional programming.
beefyhalo/circe
Yet another JSON library for Scala
beefyhalo/coursera-scala-fp
beefyhalo/doobie
principled database access for scala
beefyhalo/eff-cats
Eff monad for cats - http://atnos-org.github.io/eff-cats
beefyhalo/elastic4s
Non blocking, type safe DSL and Scala client for Elasticsearch
beefyhalo/euler
beefyhalo/fs2-http
Http Server and client using fs2
beefyhalo/Idris-dev
A Dependently Typed Functional Programming Language
beefyhalo/iota
Fast [co]product types with a clean syntax. For Cats & Scalaz.
beefyhalo/monix
Asynchronous, Reactive Programming for Scala and Scala.js.
beefyhalo/particles
beefyhalo/purescript-halogen
A declarative, type-safe UI library for PureScript.
beefyhalo/redocly-portal-test
beefyhalo/redocly-test
beefyhalo/sbt-docker-label-schema
a sbt plugin for applying label-schema labels to your Docker images
beefyhalo/scalaz
An extension to the core Scala library for functional programming.
beefyhalo/scalaz-stream
Compositional, streaming I/O library for Scala
beefyhalo/shapeless
Generic programming for Scala
beefyhalo/sudoku
Idris Sudoku