avieth/type-lambda avieth/type-lambda

  • Stars
    star
    9
  • Rank 1,939,727 (Top 39 %)
  • Language
    Haskell
  • License
    BSD 3-Clause "New...
  • Created almost 9 years ago
  • Updated almost 9 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
avieth/type-lambda
github

avieth

Reviews

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

Repository Details

First-class type-level functions

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-function

Type-level functional programming
Haskell
8
star
4

reactive-dom

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

Relational

Relational database types for Haskell
Haskell
6
star
6

diplomacy-server

Play diplomacy via HTTP
HTML
5
star
7

ParsingWithProofs

Applicative/monadic parsing with dependent types
Idris
4
star
8

PullRequestNagger

Nag your peers about outstanding pull requests
Haskell
3
star
9

pilot

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

nixos-rpi

Raspberry Pi 4 B NixOS bluetooth speaker
Nix
2
star
11

smtp-mail-ng

SMTP client EDSL
Haskell
2
star
12

Concurrential

Description of concurrent computation with sequential components
Haskell
2
star
13

FInterpreter

Interpretation of free monads over functor sums
Haskell
1
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