Pinned Repositories
Algebraic
Experiments on the construction of functions
contra-tracer
Simple tracing by way of contravariant functors
diplomacy
The board game Diplomacy, spoken in Haskell
pilot
Redesign of copilot: Haskell EDSL for stream-based C programming
reactive-dom
Haskell web user interfaces over reactive-banana and ghcjs-dom
Relational
Relational database types for Haskell
type-function
Type-level functional programming
type-lambda
First-class type-level functions
ventilator
ventilator software
avieth's Repositories
avieth/diplomacy
The board game Diplomacy, spoken in Haskell
avieth/contra-tracer
Simple tracing by way of contravariant functors
avieth/nixos-rpi
Raspberry Pi 4 B NixOS bluetooth speaker
avieth/actions
Github actions for Haskell CI
avieth/halfsp
avieth/TypeNat
Some Nat-indexed types for GHC
avieth/annotated-exception
Machinery for throwing and catching exceptions with some annotation.
avieth/bytesmith
Parse bytes fast
avieth/correct-check
property testing
avieth/ekg
Remote monitoring of running processes over HTTP
avieth/esqueleto
New home of Esqueleto, please file issues so we can get things caught up!
avieth/fast-tags
Incremental vi and emacs tags for haskell.
avieth/fourmolu
A fourk of ormolu that uses four space indentation and allows arbitrary configuration. Don't like it? PRs welcome!
avieth/graphula
A declarative library for describing dependencies between data
avieth/h-gpgme
highlevel bindings for gnupg made easy in haskell
avieth/haskell-language-server
Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
avieth/haskell.nix
Alternative Haskell Infrastructure for Nixpkgs
avieth/HaXml
Haskell HaXml library by Malcolm Wallace
avieth/HieDb
Generates a references DB from .hie files
avieth/hoauth2
Haskell oauth2 binding
avieth/hs-opentelemetry
OpenTelemetry support for the Haskell programming language
avieth/hspec
A Testing Framework for Haskell
avieth/hspec-github-action-example
avieth/http-client
An HTTP client engine, intended as a base layer for more user-friendly packages.
avieth/mullvadvpn-app
The Mullvad VPN client app for desktop and mobile
avieth/nixpkgs
Nix Packages collection
avieth/ory-hydra-client
avieth/postgresql-simple
Mid-level client library for accessing PostgreSQL from Haskell
avieth/push-notify-apn
Send Push Notifications from haskell using the new HTTP2 API
avieth/xeno
Fast Haskell XML parser