ndmitchell
Haskell/Rust programmer. All code is open source and licensed by me, not my employer. All views are my own.
MetaCambridge, UK
Pinned Repositories
bake
UNMAINTAINED: Continuous integration server
debug
Haskell library for debugging
ghcid
Very low feature GHCi based IDE
hlint
Haskell source code suggestions
hoogle
Haskell API search engine
rattle
Forward build system with speculation and caching
record-dot-preprocessor
A preprocessor for a Haskell record syntax using dot
shake
Shake build system
tagsoup
Haskell library for parsing and extracting information from (possibly malformed) HTML/XML documents
weeder
Detect dead exports or package imports
ndmitchell's Repositories
ndmitchell/supero
Haskell optimisation tool based on supercompilation
ndmitchell/catch
Haskell pattern match analsyis checker
ndmitchell/VSHaskell
Visual Studio 2010 addin
ndmitchell/guihaskell
A graphical REPL and development environment for Haskell
ndmitchell/proplang
A Haskell library for functional GUI development
ndmitchell/qed
Experiments writing a prover
ndmitchell/thesis
My PhD thesis - Transformation and Analysis of Functional Programs
ndmitchell/hogle-dead
This repo has been moved to the master branch of https://github.com/ndmitchell/hoogle.
ndmitchell/proof
Haskell library for writing proofs
ndmitchell/awesomo
Prototype optimiser for Haskell programs
ndmitchell/criterion
A powerful but simple library for measuring the performance of Haskell code.
ndmitchell/firstify
A Haskell library to transform Yhc Core programs to first-order
ndmitchell/fossilizer
Generate 3D images of fossil bedding surfaces
ndmitchell/ghc-process
Compiling and linking files in a single process using the GHC API
ndmitchell/index-search
Searching compressed text indicies
ndmitchell/proposition
Haskell library for manipulating propositions.
ndmitchell/tex2hs
A program to check for type errors in a Latex document
ndmitchell/winhaskell
Windows Haskell GUI interpretter
ndmitchell/binarydefer
Haskell library for binary serialization, but with delays
ndmitchell/egmitchell.co.uk
http://egmitchell.co.uk/
ndmitchell/gnumake
Mirror of gnumake, git clone git://git.savannah.gnu.org/make.git, at 14-Mar-2013
ndmitchell/jvm-bind
Haskell/JVM binding demo
ndmitchell/nofib
Mirror of nofib repository. DO NOT SUBMIT PULL REQUESTS HERE
ndmitchell/shake-install
ndmitchell/talks
Drafts of my public talks
ndmitchell/temp
ndmitchell/travis-container
Test the new Travis container features
ndmitchell/website
My personal website
ndmitchell/zlib
Compression and decompression in the gzip and zlib formats