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/conf
Linux configuration files
ntc2/pfpl
Code and feedback related to Practical Foundations of Programming Languages by Bob Harper
ntc2/cabal-hsc2hs-bug
Illustrate cabal+hsc2hs bug
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
ntc2/raft
A toy implementation of the Raft fault-tolerant consensus algorithm in Haskell
ntc2/async
Run IO operations asynchronously and wait for their results
ntc2/company-ghc
Company-mode completion back-end for haskell-mode via ghc-mod
ntc2/criterion
A powerful but simple library for measuring the performance of Haskell code.
ntc2/cryptol
Cryptol: The Language of Cryptography
ntc2/f.lux-indicator-applet
Better lightning for Ubuntu
ntc2/fgl
A Functional Graph Library for Haskell
ntc2/flycheck
On the fly syntax checking for GNU Emacs
ntc2/ghc
Mirror of the Glasgow Haskell Compiler. Patches are best submitted to GHC's Phabricator (https://phabricator.haskell.org/), bugs and feature-requests are best filed to GHC's Trac (https://ghc.haskell.org/trac/ghc), or sent to the mailing list (ghc-devs@haskell.org). First time contributors are encouraged to get started by just sending a Pull Request.
ntc2/gnome-session-xmonad
Ubuntu package for Gnome + XMonad session files
ntc2/haddock
Haskell Documentation Tool
ntc2/hashable
A class for types that can be converted to a hash value
ntc2/haskell-chart
A 2D charting library for haskell
ntc2/haskell-mode
Emacs mode for Haskell
ntc2/hint
Runtime Haskell interpreter
ntc2/intero
Complete interactive development program for Haskell
ntc2/megaparsec
Industrial-strength monadic parser combinator library
ntc2/optparse-applicative
Applicative option parser
ntc2/parameterized-utils
A set of utilities for using indexed types including containers, equality, and comparison.
ntc2/pcap
Haskell bindings for the pcap library, which provides a low level interface to packet capture systems.
ntc2/RodeoRoundup
WebPPL simulation of cooperative cowboys trying to catch a bull
ntc2/s2n
s2n : an implementation of the TLS/SSL protocols
ntc2/safe-exceptions
Safe, consistent, and easy exception handling
ntc2/tagsoup
Haskell library for parsing and extracting information from (possibly malformed) HTML/XML documents
ntc2/tridactyl
A Vim-like interface for Firefox, inspired by Vimperator/Pentadactyl.
ntc2/unliftio
The MonadUnliftIO typeclass for unlifting monads to IO