LeifW

Profile

My user-level settings for *nix (i.e. the dotfiles in my $HOME directory)

yaml2owl

Scaffold an RDFS/OWL schema from a YAML file, and then web scaffolds for instance data

AcidServantExample

An example webapp using Servant and Acid-State to serve a custom data type.

akka-http

The Streaming-first HTTP server/module of Akka

akka-http-json

Integrate some of the best JSON libs in Scala with Akka HTTP

alpakka

Alpakka is a Reactive Enterprise Integration library for Java and Scala, based on Reactive Streams and Akka.

amazon-keyspaces-examples

Collection of sample code for Amazon Keyspaces (for Apache Cassandra)

amazonka

A comprehensive Amazon Web Services SDK for Haskell.

cats

Lightweight, modular, and extensible library for functional programming.

circe

Yet another JSON library for Scala

CirceSumTypes

Testing encoding sum types without tags in Circe (based on a SO post)

docs

Documentation for Docker Official Images in docker-library

glacier-backup

A utility for backing up (incremental) btrfs snapshots to AWS Glacier

haskell-gi

Generate Haskell bindings for GObject-Introspection capable libraries

Haskell-Typed-Spreadsheet-Library

Typed and composable spreadsheets

http4s-native-image

Compiling an example http4s web service to a native executable using GraalVM Native Image

Idris-dev

A Dependently Typed Functional Programming Language

logback-config

Typesafe config configurator for logback

magnolify

A collection of Magnolia add-on modules

scala-open-letter.github.io

ScalaGithubActions

Model the GitHub Actions YAML in Scala case classes

scalatest

A testing tool for Scala and Java developers

SDL-idris

SDL bindings package for idris

SDL2-idris

SDL2 Bindings for the Idris programming language

servant

Main repository for the servant libraries -- DSL for describing, serving, querying, mocking, documenting web applications and more!

servant-purescript

Translate servant API to purescript code, with the help of purescript-bridge.

spark-db-case-class

Mapping Spark DB names to fields in a case class

table-layout

Layout data in grids and pretty tables. Provides a lot of tools to get the cell formatting right (positional alignment, alignment on specific characters and limiting of cell width)..

typelevel_scala

Presentation of type-level programming in Scala

udev

Haskell bindings to libudev