ndmitchell/qed ndmitchell/qed

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

ndmitchell

Reviews

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

Repository Details

Experiments writing a prover

More Repositories

1

hlint

Haskell source code suggestions
Haskell
1,459
star
2

ghcid

Very low feature GHCi based IDE
Haskell
1,130
star
3

shake

Shake build system
Haskell
744
star
4

hoogle

Haskell API search engine
Haskell
689
star
5

tagsoup

Haskell library for parsing and extracting information from (possibly malformed) HTML/XML documents
Haskell
231
star
6

bake

UNMAINTAINED: Continuous integration server
Haskell
130
star
7

record-dot-preprocessor

A preprocessor for a Haskell record syntax using dot
Haskell
129
star
8

weeder

Detect dead exports or package imports
Haskell
124
star
9

debug

Haskell library for debugging
JavaScript
121
star
10

rattle

Forward build system with speculation and caching
Haskell
102
star
11

spaceleak

Notes on space leaks
Haskell
101
star
12

extra

Extra Haskell functions
Haskell
93
star
13

cmdargs

Haskell library for command line argument processing
Haskell
91
star
14

build-shootout

Comparison of build program expressive power
Haskell
88
star
15

uniplate

Haskell library for simple, concise and fast generic operations.
Haskell
74
star
16

safe

Haskell library for safe (pattern match free) functions
Haskell
45
star
17

ghc-make

An alternative to ghc --make which supports parallel compilation of modules and runs faster when nothing needs compiling.
Haskell
40
star
18

interpret

Rust
38
star
19

neil

General tools for Neil
Haskell
38
star
20

profiterole

GHC prof manipulation script
Haskell
30
star
21

nsis

Haskell DSL for producing Windows Installer using NSIS
Haskell
26
star
22

derive

A Haskell program and library to derive instances for data types
TeX
25
star
23

supero

Haskell optimisation tool based on supercompilation
Haskell
25
star
24

hexml

A bad XML parser
C
19
star
25

offline-stack

Install Stack without internet access
Haskell
18
star
26

catch

Haskell pattern match analsyis checker
Haskell
15
star
27

js-jquery

Haskell library to obtain minified jQuery code
Haskell
9
star
28

rexe

.exe forwarder, to allow replacing binaries on PATH
Haskell
8
star
29

office

Macros for Microsoft Office
VBA
7
star
30

VSHaskell

Visual Studio 2010 addin
C#
7
star
31

record-hasfield

A version of HasField that will be available in future GHC
Haskell
7
star
32

shake-paper

Paper on the new GHC Shake-based build system
HTML
6
star
33

lasagna

Checker for Haskell layering violations
Haskell
5
star
34

guihaskell

A graphical REPL and development environment for Haskell
Haskell
5
star
35

hwwg

Haskell Website Working Group
5
star
36

shake-bazel

Experimenting with Shake and Bazel combined
Haskell
4
star
37

blogs

TeX
4
star
38

haskell-parser

Haskell parser based on that from GHC
Haskell
4
star
39

filepattern

A file path matching library
Haskell
4
star
40

idris-playground

Playing around with Idris
Idris
4
star
41

proplang

A Haskell library for functional GUI development
Haskell
4
star
42

thesis

My PhD thesis - Transformation and Analysis of Functional Programs
Haskell
3
star
43

js-flot

Haskell library to obtain minified Flot code
Haskell
3
star
44

core-playground

Simple Core language for Haskell experiments
Haskell
3
star
45

js-dgtable

Haskell library to obtain minified jquery.dgtable code
JavaScript
3
star
46

neil-check

Run neil and hlint on all my projects
Haskell
3
star
47

shake-examples

3
star
48

proof

Haskell library for writing proofs
Haskell
2
star
49

ci-check

Test the various supported CI's
2
star
50

hogle-dead

This repo has been moved to the master branch of https://github.com/ndmitchell/hoogle.
Haskell
2
star
51

stack-3137

Reproduce https://github.com/commercialhaskell/stack/issues/3137
Haskell
2
star
52

winhaskell

Windows Haskell GUI interpretter
C++
1
star
53

fossilizer

Generate 3D images of fossil bedding surfaces
JavaScript
1
star
54

bug-i386-ghc84

1
star
55

proposition

Haskell library for manipulating propositions.
Haskell
1
star
56

tex2hs

A program to check for type errors in a Latex document
Haskell
1
star
57

ndmitchell

1
star
58

hlint-test

Haskell
1
star
59

ghc-process

Compiling and linking files in a single process using the GHC API
Haskell
1
star
60

shark

A bad replacement for cabal/stack
1
star
61

index-search

Searching compressed text indicies
C
1
star
62

awesomo

Prototype optimiser for Haskell programs
Haskell
1
star
63

ninjasmith

Ninja file generator and tester
Haskell
1
star
64

firstify

A Haskell library to transform Yhc Core programs to first-order
TeX
1
star