sgraf812/pmcheck sgraf812/pmcheck

  • Stars
    star
    1
  • Language
    TeX
  • Created about 5 years ago
  • Updated 4 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
sgraf812/pmcheck
github

sgraf812

Reviews

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

Repository Details

LaTeX Source code for our ICFP'20 paper "Lower Your Guards: A Compositional Pattern-Match Coverage Checker"

More Repositories

1

BananaHook

Simple .Net hooking library
C#
32
star
2

BananaMpq

Extracting WoW's geometry data reliably
C#
22
star
3

elm-graph

This repository moved to https://github.com/elm-community/graph
Elm
16
star
4

crystalmpq

CrystalMpq is a MPQ reading library written in C#
HTML
14
star
5

datafix

Fixing data-flow problems in expression trees
HTML
9
star
6

push

Lua library implementing knockout.js-like observable properties.
Lua
8
star
7

data-elevator

Coerce between unlifted boxed and lifted types
Haskell
6
star
8

foldr-build

A foldr/build fusion library
Haskell
6
star
9

BananaPattern

Library for matching byte patterns and an offset providing xml parsing tree
C#
5
star
10

feed-gipeda

Daemon for watching for new commits to multiple git repositories and feeding benchmark runs into gipeda
Haskell
5
star
11

pomaps

Haskell data structure for maps and sets with partially ordered keys
Haskell
3
star
12

Keyboard

Keyboard simulator
C#
3
star
13

.cfg

Managing my (NixOS/Ubuntu+nix+home-manager based) configurations
Nix
3
star
14

dmdanal-proto

Prototype for better DmdAnal
Haskell
3
star
15

abs-den

Haskell
2
star
16

late-lam-lift

Paper about selective lambda lifting
TeX
2
star
17

ghc-benchmark

Benchmarking harness for GHC diffs
Shell
2
star
18

cloben

Clone and benchmark Haskell git repositories for gipeda
Haskell
2
star
19

hal16

Stuff for my HaL16 talk
Haskell
1
star
20

sdft

Implementation of the sliding window DFT http://www.comm.toronto.edu/~dimitris/ece431/slidingdft.pdf
C
1
star
21

sll19

Slides for my talk about selective lambda lifting
TeX
1
star
22

fndiff

Finding locations of fingerprinted functions in a new version of a binary.
Haskell
1
star
23

aoc

Advent of Code
Haskell
1
star
24

aigames

Haskell template for the AI Games
Haskell
1
star
25

elm-intdict

This repository moved to https://github.com/elm-community/intdict
Elm
1
star
26

ghc-dlas

GHC 8 tarballs with disabled large address space
1
star
27

benchmark-loop

Non-terminating criterion benchmark for testing purposes
Haskell
1
star
28

gipeda-example

Examplary usage of gipeda
Haskell
1
star
29

ghc-containers-conflict

Cabal-installs solver refuses to solve this for GHC 8.0.2 but using stack lts-9 (also GHC 8.0.2) works
Haskell
1
star