Pinned Repositories
bantam
Website for managing Coq fights
dug
A distributed bug and review tracking tool
git-cc
Bridge for Git and Clearcase
git-training
Training material for teaching Git
gitcc4j
Yet another Git/Clearcase bridge, written in Java
gnome-shell-extension-search-window
Searches window titles in Gnome Shell
naca
Fork of NACA from Google Code
property-testing-preso
Slides for Property-based testing
sbt2nix
Generate Nix build instructions from a SBT project
Scala-XMPP-Bot
Scala XMPP Bot Framework
charleso's Repositories
charleso/haskell-in-haste
A (very) short workshop designed to introduce Haskell quickly but practically
charleso/essence-iterator
charleso/life-without-stack-traces
Presentation about exception handling in Scala
charleso/scala-the-good-parts
Presentation for ScalaSyd
charleso/blog-1
source for simonmar.github.io
charleso/botocore
The low-level, core functionality of boto 3.
charleso/codec
Easy bidirectional serialization in Haskell
charleso/cofun
Cofun with Cofree Comonads
charleso/course
Functional Programming Course
charleso/cuckoofilter
Implementation of a Cuckoo Filter in Haskell for educational purposed
charleso/ec2-plugin
Jenkins ec2 plugin
charleso/fewtile
A tiled scoreboard for Jenkins
charleso/handlebars.js
charleso/http-decision-diagram
An activity diagram to describe the resolution of HTTP response status codes, given various headers.
charleso/hypothesis
Hypothesis is an advanced Quickcheck style testing library for Python
charleso/intellij-haskforce
Haskell plugin for IntelliJ IDEA Community Edition
charleso/intellij-scala
Scala plugin for IntelliJ IDEA
charleso/lets-lens
Course material for lens
charleso/object-algebra
Copy of the Java from http://i.cs.hku.hk/~bruno/oa/
charleso/scalaz-stream
Compositional, streaming I/O library for Scala
charleso/scodec-bits
Provides immutable datatypes for working with bits and bytes
charleso/scoobi
A Scala productivity framework for Hadoop.
charleso/scoobi-compatibility-cdh4
Compatibility classes for cdh4
charleso/scoobi-compatibility-cdh5
Compatibility classes for cdh5
charleso/Soapbox
Static site generator as an SBT plugin
charleso/stash-jenkins-postreceive-webhook
Webhook used to notify Jenkins when commits are made to Stash
charleso/string-shift-example
Showing someone property testing in practice
charleso/talks
Talk idea and scheduling + record of past talk resources.
charleso/thrift
Mirror of Apache Thrift
charleso/yowcat
Category Theory exercises for YOW Lambda Jam 2015