dmwit/pi-eta-epsilon dmwit/pi-eta-epsilon

  • Stars
    star
    22
  • Rank 1,048,934 (Top 21 %)
  • Language
    Haskell
  • License
    Other
  • Created over 12 years ago
  • Updated over 12 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
dmwit/pi-eta-epsilon
github

dmwit

Reviews

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

Repository Details

An interpreter for the language described in "The Two Dualities of Computation: Negative and Fractional Types"

More Repositories

1

pulp

pulp: process your LaTeX log file with pulp and make a better paper
Haskell
44
star
2

universe

Classes for types where we know all the values
Haskell
36
star
3

encoding

A comprehensive collection of Char-to-bytes text encodings
Haskell
9
star
4

ordered-containers

Set- and Map-like types that remember the order elements were inserted
Haskell
8
star
5

revnes

A reverse engineering tool for NES games
Haskell
6
star
6

nurse-sveta

Dr. Mario prescribes the pills, but Nurse Sveta administers them
Haskell
5
star
7

maryodel

A pure-Haskell model of Dr. Mario, NES edition
Haskell
5
star
8

viaje

Vim Isn't an Acceptable Jex Editor
Python
5
star
9

effect-stack

Reducing the pain of transformer stacks with duplicated effects
Haskell
4
star
10

mcmario

Track games of Dr. Mario, and suggest handicaps for future games
Haskell
4
star
11

jedit-elastic-tabstops

jedit plugin for editing files with elastic tapstops
Scala
4
star
12

vertumnion

speedrun splits timer done right
Haskell
3
star
13

sgf

Haskell SGF (Smart Game Format) parser
Haskell
2
star
14

nostramario

Computer vision for Dr. Mario
Python
2
star
15

damascus

A server/client protocol for playing Dr. Mario-like games on high-latency low-bandwidth connections
Haskell
2
star
16

bokrifulse

Dr. Mario maneuver trainer
Lua
2
star
17

dr-mario-ngrams

how good is Dr. Mario's pill generation RNG?
Haskell
2
star
18

dgs

Haskell front-end for DGS' bot interface
Haskell
2
star
19

beeminder-api

Haskell bindings to the Beeminder API
Haskell
2
star
20

wyvern

an autoresponder for Dragon Go Server
Haskell
2
star
21

jitterbug

a visual metronome to train keeping a steady beat
Haskell
2
star
22

vim-cryptol

Syntax highlighting for cryptol
Vim Script
2
star
23

limph

lightweight monadic programming for Haskell
Haskell
2
star
24

Connexus

a stupid little puzzle game, implemented badly
Haskell
1
star
25

vim-yard

a vim sandbox for adults
Python
1
star
26

physics

Some simple sample Hipmunk code
Haskell
1
star
27

etp

Extract the text from an email
Haskell
1
star
28

spartacon

a unix-style (read stdin, write to stdout) global hotkey daemon
Haskell
1
star
29

cabtags

cabal-driven hasktags invocation
Shell
1
star
30

update

Haskell
1
star
31

simph

Haskell
1
star
32

triple-threat

Three branches of research IN PARALLEL
Haskell
1
star
33

haskell

haskell practice
Haskell
1
star