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/learn-ocaml-workshop
Exercises and projects for Jane Street's OCaml Workshop
charleso/coursera-machine-learning
My solutions to the Coursera machine learning course
charleso/github
The github API for Haskell
charleso/dug
A distributed bug and review tracking tool
charleso/x
A collection of extra combinators for various projects.
charleso/boris
This was the moment that Mark totally lost his shit and started rewriting jenkins in shell and ended up with a haskell build bot.
charleso/p
The prelude.
charleso/beer-bot
A slack bot for beer related things
charleso/linklater
A Haskell library for the Slack API (including real-time messaging!)
charleso/disorder.hs
QuickCheck extras.
charleso/funflow
Functional workflows
charleso/projector
A typed, total templating language
charleso/machinator
An interface description language
charleso/hydrant
Simple HTML combinators
charleso/twine
Concurrency tools.
charleso/umami
Tools for writing compilers and DSL/EDSLs
charleso/blog-2
QFPL blog
charleso/property-testing-preso
Slides for Property-based testing
charleso/lambdajam-web-functions
Material for my LambdaJam 2017 talk
charleso/sbt2nix
Generate Nix build instructions from a SBT project
charleso/onitama
Haskell implementation of Onitama
charleso/purescript-pux
A PureScript interface to React.
charleso/purescript
A small strongly typed language that compiles to Javascript
charleso/ekg
Remote monitoring of running processes over HTTP
charleso/wai
Haskell Web Application Interface
charleso/purescript-argonaut-core
A fast, native representation for JSON, with serialization and folding
charleso/functionaljava
Functional programming in Java
charleso/parsonsmatt.github.io
My Github pages website
charleso/ylj16-workshop
charleso/QuickTheories
Property based testing for Java 8