Pinned Repositories
8Queens
acme-yolo
Very Serious Tooling
grenade
Deep Learning in Haskell
idris-lens
van Laarhoven lenses for Idris
ivory
optparse-idris
Minimal port of optparse-applicative to idris
orc-haskell
Haskell ORC File Handler
snappier
R bindings for the snappy compression library
specs2
Software Specifications for Scala
zebra
Column-oriented binary format for immutable datasets
HuwCampbell's Repositories
HuwCampbell/zebra
Column-oriented binary format for immutable datasets
HuwCampbell/optparse-idris
Minimal port of optparse-applicative to idris
HuwCampbell/box
Querying and configuration-free ssh access to servers.
HuwCampbell/icicle
A streaming query language.
HuwCampbell/jetski
Runtime compilation and invocation of C.
HuwCampbell/piano
A library for lookup of times for entities in a chord descriptor.
HuwCampbell/ace-editor-scalajs
Working example of how to wrap ACE React component in ScalaJS
HuwCampbell/anemone
Sea creatures: a collection of C functions, packaged as a Haskell library, with QuickCheck for testing.
HuwCampbell/codec-jvm
JVM code generation
HuwCampbell/dhall-haskell
A configuration language guaranteed to terminate
HuwCampbell/disorder.hs
QuickCheck extras.
HuwCampbell/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.
HuwCampbell/hedgehog-talk
HuwCampbell/introduction-to-fp-in-scala
A softer introduction to fp in scala course, based on patterns-in-types and the nicta course.
HuwCampbell/jebediah
Cloudwatch monitoring
HuwCampbell/jenga
Generate a cabal freeze file from a stack.yaml
HuwCampbell/lambdacube-compiler
LambdaCube 3D is a Haskell-like purely functional language for GPU. Try it out:
HuwCampbell/logparser
A toolkit for automated log parsing [ICSE'19, TDSC'18, DSN'16]
HuwCampbell/mafia
Provides protection against cabal swindling, robbing, injuring or sabotaging people with chopsticks.
HuwCampbell/mundane
Low-level scala tools for building applications that might actually work
HuwCampbell/p
The prelude.
HuwCampbell/pcre
GitHub clone of SVN repo svn://vcs.exim.org/pcre/code/trunk (cloned by http://svn2github.com/)
HuwCampbell/projector
A typed, total templating language
HuwCampbell/snapper
Compress and decompress snappy encoded data
HuwCampbell/snappy
A fast compressor/decompressor
HuwCampbell/streaming-conduit
Bidirectional support between the streaming and conduit libraries
HuwCampbell/tine
Safe Useful combinators for process
HuwCampbell/viking
Viking is an opinionated wrapper around the streaming and streaming-bytestring libraries.
HuwCampbell/wl-pprint
A mirror of wl-pprint fixed for GHC 7.10.2
HuwCampbell/x
A collection of extra combinators for various projects.