Pinned Repositories
s2n-tls
An implementation of the TLS/SSL protocols
ssh-hans
verified-ifc
Coq formalization accompanying the paper: A Verified Information-Flow Architecture
conf
Linux configuration files
haskell-call-trace
Fancy call tracing for Haskell.
hsubst
Hereditary substitution without eta-expansion.
pfpl
Code and feedback related to Practical Foundations of Programming Languages by Bob Harper
trellys-google-git-svn
A git remote for git-svn clones of https://trellys.googlecode.com/svn/trunk
fluxgui
Better lighting for Linux. Open source GUI for xflux
ntc2's Repositories
ntc2/haskell-call-trace
Fancy call tracing for Haskell.
ntc2/hsubst
Hereditary substitution without eta-expansion.
ntc2/trellys-google-git-svn
A git remote for git-svn clones of https://trellys.googlecode.com/svn/trunk
ntc2/git-annex
manage large files with git
ntc2/haskell-records
Thoughts on improving Haskell records
ntc2/nathan-arthur
nathan-arthur
ntc2/she
A copy of Conor McBride's SHE library patched to work with GHC 7.6
ntc2/abcBridge
Haskell bindings for ABC
ntc2/bleeding_edge
A read-only mirror of dart.googlecode.com. Please don't send Pull Requests here, please contribute via:
ntc2/buffer-overflows
ntc2/directory-tree
A simple directory-like tree datatype, with useful IO functions, for Haskell
ntc2/expose-teensy
a driver to expose functions from the teensy board as character devices
ntc2/fractals
One of the first programs I ever wrote.
ntc2/haskellcontracts
ntc2/haskellcontracts-examples
Test programs for haskellcontracts