kellydavid

bee-app

A prototype of a citizen science mobile app that allows users to collect and analyse data about bees using the Ionic framework.

scala-server-lambda

Run http4s or akka-http over API Gateway and AWS Lambda

functional-effects-workshop

An introduction to ZIO using game programming!

zio-workshop

Real World Functional Programming with ZIO

chat-server

Chat Server for Distributed Systems CS4032 Lab 4

data_structures_algorithms

notes, demos, slides

dsa

This is a project that implements common data structures and algorithms in the Java programming language

erlport

Erlang Ireland / Functional Kats workshop

fp-to-the-max

functional-scala

The repository for the Functional Scala workshop.

gol

Game of Life Scala implementation

gridlab-d

Source Code for GridLAB-D

http4s-aws-lambda

Running http4s in aws lambda

interop-cats

ZIO instances for cats-effect type classes

Kastle

A purely functional, effectful, resource-safe, kafka library for Scala

kellydavid.github.io

Personal github page for kellydavid.

kondor-json

A library to serialize/deserialize Json fast and safely without reflection or generators

ktor-server-lambda

linux

Linux kernel source tree

sbt-assembly

Deploy fat JARs. Restart processes. (port of codahale/assembly-sbt)

scala-with-cats-book

Code examples from scala with cats book

scopt

command line options parsing for Scala

shinyr-stats-project

A simple example of linear regression in R

terraform

Terraform is a tool for building, changing, and combining infrastructure safely and efficiently.

tf_aws_artifactory_server

traceroute-ipinfo

A small python script to parse traceroute output, query host information and plot host locations on a map.

zio

ZIO — A type-safe, composable library for asynchronous and concurrent programming in Scala

zio-http

ZIO-powered HTTP server and client.

zio-kafka

A Kafka client for ZIO and ZIO Streams

zoneminder

ZoneMinder is a free, open source Closed-circuit television software application developed for Linux which supports IP, USB and Analog cameras.