avieth/FInterpreter avieth/FInterpreter

  • Stars
    star
    1
  • Language
    Haskell
  • License
    BSD 3-Clause "New...
  • Created over 9 years ago
  • Updated about 9 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
avieth/FInterpreter
github

avieth

Reviews

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

Repository Details

Interpretation of free monads over functor sums

More Repositories

1

Algebraic

Experiments on the construction of functions
Haskell
29
star
2

diplomacy

The board game Diplomacy, spoken in Haskell
Haskell
13
star
3

type-lambda

First-class type-level functions
Haskell
9
star
4

type-function

Type-level functional programming
Haskell
8
star
5

reactive-dom

Haskell web user interfaces over reactive-banana and ghcjs-dom
Haskell
6
star
6

Relational

Relational database types for Haskell
Haskell
6
star
7

diplomacy-server

Play diplomacy via HTTP
HTML
5
star
8

ParsingWithProofs

Applicative/monadic parsing with dependent types
Idris
4
star
9

PullRequestNagger

Nag your peers about outstanding pull requests
Haskell
3
star
10

pilot

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

nixos-rpi

Raspberry Pi 4 B NixOS bluetooth speaker
Nix
2
star
12

smtp-mail-ng

SMTP client EDSL
Haskell
2
star
13

Concurrential

Description of concurrent computation with sequential components
Haskell
2
star
14

Versioned

Versioning and migration for Haskell datatypes.
Haskell
1
star
15

Manifest

Interface for read/write/delete key/value storage
Haskell
1
star
16

RelationalMapping

Map Haskell datatypes to Relational datatypes
Haskell
1
star
17

GraphPatterns

Haskell EDSL for declarative queries of graphs.
Haskell
1
star
18

DependentMap

Like a typical Haskell Map, but with a twist
Haskell
1
star
19

PoorMansConcurrency

Poor Man's Concurrency in JavaScript
JavaScript
1
star
20

TypeNat

Some Nat-indexed types for GHC
Haskell
1
star
21

RelationalInterpreter

Interpret Relational datatypes
Haskell
1
star
22

algorave

Rust
1
star
23

RelationalPostgreSQL

PostgreSQL interpreter for Relational
Haskell
1
star
24

ventilator

ventilator software
HTML
1
star
25

servant-xhr

XMLHttpRequest generation from servant routes using reactive-dom
Haskell
1
star
26

Authenticake

Reusable, versatile, easy authentication
Haskell
1
star
27

servant-route

A canonical route-wise definition of servant servers
Haskell
1
star
28

kpipe

Continuation-based monadic streaming experiment
Haskell
1
star