mboes/bug-ptr-not-in-spt mboes/bug-ptr-not-in-spt

  • Stars
    star
    1
  • Language
    Haskell
  • Created about 8 years ago
  • Updated about 8 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
mboes/bug-ptr-not-in-spt
github

mboes

Reviews

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

Repository Details

More Repositories

1

hmk

A pure Haskell implementation of Plan9's mk
Haskell
14
star
2

dedukti

A type-checker for the λΠ-modulo calculus.
Haskell
10
star
3

cassette

Define a parser. Play it in reverse to get a pretty printer.
Haskell
10
star
4

haskell-src-exts-qq

A quasiquoter for haskell-src-exts.
Haskell
9
star
5

zurihac15-talk-examples

Companion code for Zurihac'15 talk on Cloud Haskell
Haskell
7
star
6

choice

A solution to boolean blindness.
Haskell
6
star
7

coqine

An encoding of the Calculus of Inductive Constructions (as implemented in Coq) in Dedukti.
OCaml
5
star
8

vCard

A library for parsing/printing vCards from/to various formats.
Haskell
4
star
9

language-arm

Assembler and dissassembler for ARM in Haskell.
Haskell
4
star
10

nixos-docs-mockup

JavaScript
4
star
11

mime-directory

A library for parsing/printing the text/directory mime type.
Haskell
3
star
12

9ph

A pure Haskell implementation of the 9p protocol, server and client.
Haskell
3
star
13

asana-burndown

Burndown charts for Asana.
1
star