edwardgeorge/keymonad edwardgeorge/keymonad

  • Stars
    star
    3
  • Rank 3,963,521 (Top 79 %)
  • Language
    Haskell
  • License
    BSD 3-Clause "New...
  • Created about 7 years ago
  • Updated about 7 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
edwardgeorge/keymonad
github

edwardgeorge

Reviews

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

Repository Details

Implementation of "The Key Monad: Type-Safe Unconstrained Dynamic Typing" paper

More Repositories

1

virtualenv-clone

A script for cloning a non-relocatable virtualenv. originated here: https://gist.github.com/860822
Python
212
star
2

picoev

unofficial mirror of http://coderepos.org/share/browser/lang/c/picoev/
C
6
star
3

hardd

Haskell
2
star
4

jq-action

JavaScript
2
star
5

libgmail

fork of libgmail (libgmail.sourceforge.net) with local fixes.
Python
2
star
6

dbustream

Haskell
2
star
7

threadscope-docker

Docker image for building threadscope binaries
1
star
8

flooring

Haskell
1
star
9

delish

1
star
10

balls

A simple haskell webserver for serving up random pictures of Ed Balls. Useful for your work chat client.
Haskell
1
star
11

fusus

1
star
12

python-uniplate

Python
1
star
13

sutcliffe

C
1
star
14

pyliblo

fork of pyliblo http://das.nasophon.de/pyliblo/ with local modifications
C
1
star
15

shred

Haskell
1
star
16

script.module.rpceventlistener

Event-driven programming for XBMC add-ons
Python
1
star
17

yaml-strip-nulls

Haskell
1
star
18

evws

1
star
19

ekg-riemann

Send ekg metrics to Riemann
Haskell
1
star
20

liqpad

Haskell
1
star
21

icake

my interviewcake solutions
Rust
1
star
22

typopedia

Haskell
1
star
23

argo

Swagger Auto-Generated Haskell http-client Bindings to Argo
Haskell
1
star
24

utf8-validator

constant-space utf8 validator for haskell ByteStrings
Haskell
1
star
25

monad-classes-logging

monad-classes compatible typeclass for https://github.com/ocharles/logging-effect
Haskell
1
star