ntc2/conf

Linux configuration files

Commits: 743

ntc2/haskell-records

Thoughts on improving Haskell records

Commits: 49

ntc2/pfpl

Code and feedback related to Practical Foundations of Programming Languages by Bob Harper

Commits: 38

ntc2/nathan-arthur

nathan-arthur

Commits: 34

ntc2/raft

A toy implementation of the Raft fault-tolerant consensus algorithm in Haskell

Commits: 34

ronnypfannschmidt/git-annex

my fork of git://git-annex.branchable.com/

Commits: 18

ntc2/ghc-8.2.1-regex-lazy-text-bug

Illustrate serious performance regression when combining GHC 8.2.1, Text.RE.TDFA, and Data.Text.Lazy

Commits: 8

ntc2/hsubst

Hereditary substitution without eta-expansion.

Commits: 6

ntc2/cabal-hsc2hs-bug

Illustrate cabal+hsc2hs bug

Commits: 5

commercialhaskell/stack

The Haskell Tool Stack

Commits: 4

ntc2/fractals

One of the first programs I ever wrote.

Commits: 4

shlevy/ghc

Commits: 4

ntc2/she

A copy of Conor McBride's SHE library patched to work with GHC 7.6

Commits: 3

haskell/haskell-mode

Emacs mode for Haskell

Commits: 2

simonmar/async

Run IO operations asynchronously and wait for their results

Commits: 2

ndmitchell/tagsoup

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

Commits: 2

dart-lang/sdk

The Dart SDK, including the VM, JS and Wasm compilers, analysis, core libraries, and more.

Commits: 2

dart-lang/sdk

The Dart SDK, including the VM, JS and Wasm compilers, analysis, core libraries, and more.

Commits: 2

GaloisInc/cryptol

Cryptol: The Language of Cryptography

Commits: 1