Pinned Repositories
c-repl
An "interpeter" for C-code, hacked to compile with GHC 6.10 and Cabal 1.6, et al...
funes
A DRY, dynamic linked data web framework
HXQ
An XML database - compiles XQuery code to Haskell and SQL requests
MusicPath
Prototype implementation of a linked data community wiki of local music scene relationships.
online-typechecker
Start of an in-browser live typechecking editor for Idris
pipescape
An in-browser graphical editor for XML pipelines - specifically a WireIt interface to XProc
scalatra
Tiny Scala web framework, inspired by Sinatra
scardf
My forked copy of Scardf, an API in Scala providing a DSL for writing, traversing and querying RDF graphs. Converted to use SBT, and extended in a few ways.
xmonad-utils
A small collection of X utilities useful when running XMonad.
LeifW's Repositories
LeifW/yaml2owl
Scaffold an RDFS/OWL schema from a YAML file, and then web scaffolds for instance data
LeifW/Profile
My user-level settings for *nix (i.e. the dotfiles in my $HOME directory)
LeifW/AcidServantExample
An example webapp using Servant and Acid-State to serve a custom data type.
LeifW/akka-http
The Streaming-first HTTP server/module of Akka
LeifW/akka-http-json
Integrate some of the best JSON libs in Scala with Akka HTTP
LeifW/alpakka
Alpakka is a Reactive Enterprise Integration library for Java and Scala, based on Reactive Streams and Akka.
LeifW/amazon-keyspaces-examples
Collection of sample code for Amazon Keyspaces (for Apache Cassandra)
LeifW/amazonka
A comprehensive Amazon Web Services SDK for Haskell.
LeifW/cats
Lightweight, modular, and extensible library for functional programming.
LeifW/circe
Yet another JSON library for Scala
LeifW/CirceSumTypes
Testing encoding sum types without tags in Circe (based on a SO post)
LeifW/docs
Documentation for Docker Official Images in docker-library
LeifW/fs2-aws
fs2 utilities to interact with AWS
LeifW/glacier-backup
A utility for backing up (incremental) btrfs snapshots to AWS Glacier
LeifW/Haskell-Typed-Spreadsheet-Library
Typed and composable spreadsheets
LeifW/http4s-native-image
Compiling an example http4s web service to a native executable using GraalVM Native Image
LeifW/logback-config
Typesafe config configurator for logback
LeifW/magnolify
A collection of Magnolia add-on modules
LeifW/scala-open-letter.github.io
LeifW/scalac-options
A library for configuring scalac options
LeifW/ScalaGithubActions
Model the GitHub Actions YAML in Scala case classes
LeifW/scalatest
A testing tool for Scala and Java developers
LeifW/SDL-idris
SDL bindings package for idris
LeifW/SDL2-idris
SDL2 Bindings for the Idris programming language
LeifW/servant
Main repository for the servant libraries -- DSL for describing, serving, querying, mocking, documenting web applications and more!
LeifW/servant-purescript
Translate servant API to purescript code, with the help of purescript-bridge.
LeifW/spark-db-case-class
Mapping Spark DB names to fields in a case class
LeifW/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)..
LeifW/typelevel_scala
Presentation of type-level programming in Scala
LeifW/udev
Haskell bindings to libudev