avieth/diplomacy
The board game Diplomacy, spoken in Haskell
Repositories
avieth/nixos-raspberrypi
Nix flake for a fully declarative NixOS on Raspberry Pi
avieth/contra-tracer
Simple tracing by way of contravariant functors
avieth/HieDb
Generates a references DB from .hie files
avieth/avieth.github.io
avieth/nix-ip
tools for dealing with IPv4 and v6 subnets in nix
avieth/diplomacy-server
Play diplomacy via HTTP
avieth/ekg-statsd
Flush system metrics to statsd
avieth/ekg
Remote monitoring of running processes over HTTP
avieth/haskeline
A Haskell library for line input in command-line programs. http://trac.haskell.org/haskeline
avieth/nixos-rpi
Raspberry Pi 4 B NixOS bluetooth speaker
avieth/chronos
Haskell time library focusing on performance
avieth/country
Haskell data types and functions for countries
avieth/plutus-prototype
avieth/cardano-crypto
avieth/correct-check
property testing
avieth/halfsp
avieth/mullvadvpn-app
The Mullvad VPN client app for desktop and mobile
avieth/actions
Github actions for Haskell CI
avieth/h-gpgme
highlevel bindings for gnupg made easy in haskell
avieth/Algebraic
Experiments on the construction of functions
avieth/http-client
An HTTP client engine, intended as a base layer for more user-friendly packages.
avieth/TypeNat
Some Nat-indexed types for GHC
avieth/HaXml
Haskell HaXml library by Malcolm Wallace
avieth/annotated-exception
Machinery for throwing and catching exceptions with some annotation.
avieth/hspec-github-action-example
avieth/fourmolu
A fourk of ormolu that uses four space indentation and allows arbitrary configuration. Don't like it? PRs welcome!
avieth/hspec
A Testing Framework for Haskell
avieth/xeno
Fast Haskell XML parser
avieth/hoauth2
Haskell oauth2 binding