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/git-cc
Bridge for Git and Clearcase
charleso/git-training
Training material for teaching Git
charleso/bantam
Website for managing Coq fights
charleso/bamboo-git-plugin
Plugin for Atlassian's Bamboo supporting Git SCM.
charleso/introduction-to-fp-in-scala
A softer introduction to fp in scala course, based on patterns-in-types and the nicta course.
charleso/blog
Blog
charleso/fuse
Some utilities for interfacing with Spark without blowing a fuse
charleso/gitlab-bitbucket-sync
Some scrappy utilities for syncing repositories between bitbucket and gitlab
charleso/portmanteau
Yet Another invertible syntax library for Haskell
charleso/resume
charleso/schemer
A library for declaring a json-compatible schema over a data type and derive different parsers/printers
charleso/charleso.github.com
Static blog files
charleso/dev
charleso/pirate
public mirror of pirate.mth.io
charleso/scallop
Just a few service utils
charleso/webship
A Haskell library for building declarative, RESTful web apps
charleso/blog-3
charleso/gmail_chrome_label_unread_count_favicon
A Chrome extension for displaying the unread count of a selected label
charleso/home
Home directory files
charleso/json-schema-ref-parser
Parse, Resolve, and Dereference JSON Schema $ref pointers in Node and browsers
charleso/loom
Weaver of webs.
charleso/owa_chrome_tab_notification
Show unread count in chrome tab for Outlook Web Mail
charleso/pr-to-production-talk
Slides
charleso/projector-1
A typed, total templating language
charleso/sbt
sbt, the interactive build tool
charleso/scalacheck
Property-based testing for Scala
charleso/study
A personal repository for tracking study notes
charleso/swagger-combine
Combines multiple Swagger schemas into one dereferenced schema.
charleso/testignoreme
Testing issues and reviews
charleso/typescript-eslint
:sparkles: Monorepo for all the tooling which enables ESLint to support TypeScript