sebashack/dependent-types-machine

Stars
1
Language
Haskell
License
BSD 3-Clause "New...
Created almost 7 years ago
Updated about 6 years ago

sebashack/dependent-types-machine

sebashack

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

An example of a state machine with dependent types in Haskell to handle http requests.

SCalendar

servantRestfulAPI

This is an example of a RestfulAPI made with Servant Haskel and which integrates things like Persistent MySQL, ElasticSearch, JWT, etc...

universal-reason-react

An example of how to use ReasonReact and interop with react-dom/server, react-router.

easy-car

EasyCar project

haskellHTTP

An example of using a simple http client in haskell along with AESON

php-project-template

PHP project template

JuicyPixelsAndPersistent

And example of using The Servant API framework along with JuicyPixels and Persistent

cloud-haskell-chat

Chat server and client with Cloud Haskell

parallelStreams

This is an example taken from Parallel and Concurrent Haskell about adding parallelism when working with Streams of data.

LensPlayground

Here I implement myself some of the types and functions of the lens package.

EvalMonadExample

This is a simple example of producing parallelism with the Eval Monad and rpar.

signal-frp-playground

Examples where I play with PureScript and signal-frp

reason-director-routing

Trying bs-director for Reason Routing

HTML-Free-Monad-Example

An example of Free Monads to create a simple DSL for HTML...

rusty-mom

sockets-binary

Experimenting with sockets and binary encodings