avieth/servant-xhr

Stars
1
Language
Haskell
License
BSD 3-Clause "New...
Created almost 9 years ago
Updated over 8 years ago

avieth/servant-xhr

avieth

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

XMLHttpRequest generation from servant routes using reactive-dom

Algebraic

Experiments on the construction of functions

diplomacy

The board game Diplomacy, spoken in Haskell

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

Relational

Relational database types for Haskell

diplomacy-server

Play diplomacy via HTTP

ParsingWithProofs

Applicative/monadic parsing with dependent types

PullRequestNagger

Nag your peers about outstanding pull requests

pilot

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

nixos-rpi

Raspberry Pi 4 B NixOS bluetooth speaker

smtp-mail-ng

SMTP client EDSL

Concurrential

Description of concurrent computation with sequential components

FInterpreter

Interpretation of free monads over functor sums

Versioned

Versioning and migration for Haskell datatypes.

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

PoorMansConcurrency

Poor Man's Concurrency in JavaScript

TypeNat

Some Nat-indexed types for GHC

RelationalInterpreter

Interpret Relational datatypes

algorave

RelationalPostgreSQL

PostgreSQL interpreter for Relational

ventilator

ventilator software

Authenticake

Reusable, versatile, easy authentication

servant-route

A canonical route-wise definition of servant servers

kpipe

Continuation-based monadic streaming experiment