Pinned Repositories
cv-combinators
Functional Combinators for Computer Vision, currently using OpenCV as a backend
elfs-clang-plugins
A collection of clang plugins for safer C programming
fresh
hmf
A copy of Daan Leijen's reference implementation of HMF (type inference)
HOpenCV
Haskell bindings for OpenCV
infernu
Type inference and checking for a safer JavaScript.
wl-pprint
A fork of wl-pprint maintained for newer GHC
xml-to-json
Fast & easy command line tool for converting XML files to JSON
xml-to-json-fast
Fast, light converter of xml to json capable of handling huge xml files
sinelaw's Repositories
sinelaw/infernu
Type inference and checking for a safer JavaScript.
sinelaw/xml-to-json
Fast & easy command line tool for converting XML files to JSON
sinelaw/elfs-clang-plugins
A collection of clang plugins for safer C programming
sinelaw/xml-to-json-fast
Fast, light converter of xml to json capable of handling huge xml files
sinelaw/fresh
sinelaw/wl-pprint
A fork of wl-pprint maintained for newer GHC
sinelaw/blog
sinelaw/buildsome
Buildsome: The awesome build system
sinelaw/buildsome-trigger
sinelaw/deeplink
Deeply link a target based on hints in C code
sinelaw/diff-ignore-moved-lines
Strip moved lines from a diff
sinelaw/emacs.d
Emacs configuration
sinelaw/error-prone
Catch common Java mistakes as compile-time errors
sinelaw/FlameGraph
Stack trace visualizer
sinelaw/gcovr
Main gcovr repository (See http://gcovr.com)
sinelaw/git-preflog
Show the recent Git fetches and pushes from/to the local repo according to the reflog
sinelaw/google-auth-library-java
Open source Auth client library for Java
sinelaw/hxt
Haskell XML Toolbox
sinelaw/io-500-dev
IO-500
sinelaw/java-logging-logback
sinelaw/mod-silly-animals
sinelaw/pfind
Parallel find using MPI
sinelaw/resolve-trivial-conflicts
Resolve trivial conflicts
sinelaw/rockies
sinelaw/rsync
clone of rsync.samba.org
sinelaw/sillybot
sinelaw/sinelaw.github.io
sinelaw/stackage
"Stable Hackage," tools for creating a vetted set of packages from Hackage.
sinelaw/temper
sinelaw/zookeeper-benchmark
Our benchmarking tool for ZooKeeper