Neil Mitchell (ndmitchell)

ndmitchell

Geek Repo

Company:Meta

Location:Cambridge, UK

Home Page:https://ndmitchell.com

Twitter:@ndm_haskell

Github PK Tool:Github PK Tool

Neil Mitchell's repositories

supero

Haskell optimisation tool based on supercompilation

Language:HaskellStargazers:25Issues:0Issues:0

offline-stack

Install Stack without internet access

shake-paper

Paper on the new GHC Shake-based build system

Language:HTMLStargazers:6Issues:0Issues:0

hwwg

Haskell Website Working Group

Stargazers:5Issues:0Issues:0

lasagna

Checker for Haskell layering violations

Language:HaskellStargazers:5Issues:0Issues:0

haskell-parser

Haskell parser based on that from GHC

Language:HaskellStargazers:4Issues:0Issues:0

idris-playground

Playing around with Idris

Language:IdrisStargazers:4Issues:0Issues:0

proplang

A Haskell library for functional GUI development

Language:HaskellStargazers:4Issues:0Issues:0

qed

Experiments writing a prover

Language:HaskellLicense:BSD-3-ClauseStargazers:3Issues:0Issues:0

stack-3137

Reproduce https://github.com/commercialhaskell/stack/issues/3137

Language:HaskellStargazers:2Issues:0Issues:0

criterion

A powerful but simple library for measuring the performance of Haskell code.

Language:HTMLLicense:BSD-2-ClauseStargazers:1Issues:3Issues:0
Language:HaskellLicense:BSD-3-ClauseStargazers:1Issues:0Issues:0

ninjasmith

Ninja file generator and tester

Language:HaskellStargazers:1Issues:0Issues:0

shark

A bad replacement for cabal/stack

Stargazers:1Issues:0Issues:0

foundation

Empire strikes back

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:0Issues:0

haskell-src-exts

Manipulating Haskell source: abstract syntax, lexer, parser, and pretty-printer

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:0Issues:0

Haskelly

Haskelly is a VS Code extension that provides complete support for casual and expert Haskell development.

Language:TypeScriptLicense:GPL-3.0Stargazers:0Issues:0Issues:0

hinotify

Haskell binding to inotify

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:0Issues:0

http-client

An HTTP client engine, intended as a base layer for more user-friendly packages.

Language:HaskellStargazers:0Issues:0Issues:0

jquery.dgtable

A jQuery high-performance table for web-apps

Language:JavaScriptLicense:MITStargazers:0Issues:0Issues:0

jvm-bind

Haskell/JVM binding demo

Language:CStargazers:0Issues:0Issues:0

pugixml-hs

pugixml binding for haskell.

Language:C++License:MITStargazers:0Issues:0Issues:0

shake-language-c

Cross-compilation framework based on the Shake Haskell library.

Language:HaskellLicense:Apache-2.0Stargazers:0Issues:0Issues:0

talks

Drafts of my public talks

Stargazers:0Issues:0Issues:0
Stargazers:0Issues:0Issues:0

travis-container

Test the new Travis container features

Stargazers:0Issues:0Issues:0

website

My personal website

Language:HTMLStargazers:0Issues:0Issues:0

yaml

Support for serialising Haskell to and from Yaml.

Language:CLicense:NOASSERTIONStargazers:0Issues:0Issues:0

zlib

Compression and decompression in the gzip and zlib formats

Language:CLicense:NOASSERTIONStargazers:0Issues:0Issues:0