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/reactive-dom
Haskell web user interfaces over reactive-banana and ghcjs-dom
avieth/Relational
Relational database types for Haskell
avieth/diplomacy-server
Play diplomacy via HTTP
avieth/smtp-mail-ng
SMTP client EDSL
avieth/kpipe
Continuation-based monadic streaming experiment
avieth/servant-xhr
XMLHttpRequest generation from servant routes using reactive-dom
avieth/cabal2nix
Generate Nix build instructions from a Cabal file
avieth/cardano-crypto
avieth/cborg
Binary serialisation in the CBOR format
avieth/criterion
A powerful but simple library for measuring the performance of Haskell code.
avieth/cryptonite
lowlevel set of cryptographic primitives for haskell
avieth/ekg-statsd
Flush system metrics to statsd
avieth/frappe
Functorial reactive programming
avieth/hackage-db
provide access to the Hackage database via Data.Map
avieth/haskeline
A Haskell library for line input in command-line programs. http://trac.haskell.org/haskeline
avieth/haskell-hedgehog
Hedgehog will eat all your bugs.
avieth/heap-vault
A stable-name-indexed heterogeneous map
avieth/IHaskell
A Haskell kernel for IPython.
avieth/kademlia
A haskell library implementing the Kademlia DHT
avieth/language-c99-util
Set of utility functions to facilitate working with language-c99
avieth/log-warper
Wrapper around hslogger library to provide more convenient monadic interface with pretty output
avieth/network-transport
Generic Network.Transport API
avieth/network-transport-inmemory
In-memory realisation of Network.Transport
avieth/network-transport-tests
Tests for network-transport implementations
avieth/plutus-prototype
avieth/reactive-banana
Library for functional reactive programming in Haskell.
avieth/servant-quickcheck
avieth/stack2nix
Generate nix expressions for Haskell projects
avieth/stylish-haskell
Haskell code prettifier
avieth/time-warp
Distributed systems execution emulation