Alexander Vieth

Algebraic. Experiments on the construction of functions

diplomacy. The board game Diplomacy, spoken in Haskell

contra-tracer. Simple tracing by way of contravariant functors

type-lambda. First-class type-level functions

type-function. Type-level functional programming

reactive-dom. Haskell web user interfaces over reactive-banana and ghcjs-dom

diplomacy-server. Play diplomacy via HTTP

Relational. Relational database types for Haskell

ParsingWithProofs. Applicative/monadic parsing with dependent types

PullRequestNagger. Nag your peers about outstanding pull requests

smtp-mail-ng. SMTP client EDSL

nixos-rpi. Raspberry Pi 4 B NixOS bluetooth speaker

Concurrential. Description of concurrent computation with sequential components

pilot. Redesign of copilot: Haskell EDSL for stream-based C programming

algorave. Rust

kpipe. Continuation-based monadic streaming experiment

actions. Github actions for Haskell CI

RelationalPostgreSQL. PostgreSQL interpreter for Relational

ventilator. ventilator software

servant-route. A canonical route-wise definition of servant servers

servant-xhr. XMLHttpRequest generation from servant routes using reactive-dom

FInterpreter. Interpretation of free monads over functor sums

halfsp. Haskell

PoorMansConcurrency. Poor Man's Concurrency in JavaScript

Versioned. Versioning and migration for Haskell datatypes.

RelationalInterpreter. Interpret Relational datatypes

TypeNat. Some Nat-indexed types for GHC

Manifest. Interface for read/write/delete key/value storage

RelationalMapping. Map Haskell datatypes to Relational datatypes

GraphPatterns. Haskell EDSL for declarative queries of graphs.

DependentMap. Like a typical Haskell Map, but with a twist

Authenticake. Reusable, versatile, easy authentication

smtp-mail. SMTP client EDSL