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/Algebraic
Experiments on the construction of functions
avieth/type-lambda
First-class type-level functions
avieth/type-function
Type-level functional programming
avieth/Concurrential
Description of concurrent computation with sequential components
avieth/Authenticake
Reusable, versatile, easy authentication
avieth/DependentMap
Like a typical Haskell Map, but with a twist
avieth/FInterpreter
Interpretation of free monads over functor sums
avieth/GraphPatterns
Haskell EDSL for declarative queries of graphs.
avieth/Manifest
Interface for read/write/delete key/value storage
avieth/RelationalInterpreter
Interpret Relational datatypes
avieth/RelationalMapping
Map Haskell datatypes to Relational datatypes
avieth/RelationalPostgreSQL
PostgreSQL interpreter for Relational
avieth/servant-route
A canonical route-wise definition of servant servers
avieth/Versioned
Versioning and migration for Haskell datatypes.
avieth/aeson
A fast Haskell JSON library
avieth/Authenticake-Password
Password authentication for Authenticake
avieth/Authoricecream
Authorization to pair with Authenticake
avieth/Canonical-UI
Description of user interfaces in types
avieth/CaptchaChallenge
Captcha challenge utility
avieth/freedom
Experiments on free structures
avieth/FSet
avieth/ghcjs-base
base library for GHCJS for JavaScript interaction and marshalling, used by higher level libraries like JSC
avieth/haste-compiler
A Haskell to Javascript compiler.
avieth/InvertibleSyntax
Parsers and printers defined simultaneously
avieth/reactive-sequence
Experiment in functional reactive programming over reactive-banana
avieth/SafeConcurrentState
Safe impure computation with shared state
avieth/servant
Main repository for the servant libraries. Web API combinators, with servers, clients and documentation
avieth/shims
GHCJS runtime system and JavaScript support code for packages
avieth/type-grammar
Type-level grammars to be parsed at compile time
avieth/TypeSafeRoute
Scratchpad for type safe HTTP routing experiment