avieth/Algebraic

Stars
29
Rank 860,307 (Top 17 %)
Language
Haskell
License
BSD 3-Clause "New...
Created about 9 years ago
Updated almost 9 years ago

avieth/Algebraic

avieth

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

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

servant-xhr

XMLHttpRequest generation from servant routes using reactive-dom

Authenticake

Reusable, versatile, easy authentication

servant-route

A canonical route-wise definition of servant servers

kpipe

Continuation-based monadic streaming experiment