tomgr

libcspm

The library FDR3 uses for parsing, type checking and evaluating machine CSP.

graphviz-cmake

A version of GraphViz that builds the libraries with CMake, with no dynamic loading of plugins.

lz4-mirror

An unofficial mirror of the lz4 subversion repository at http://code.google.com/p/lz4/.

smhasher-mirror

Mirror of SMHasher.

terminalcolours

A SIMBL plug-in for Terminal in Leopard which allows customisation of the text colours

textmate2css

Converts tmSyntax files to CSS, and produces higlighted HTML from source code.

webcspm

A web-based type checker for CSPM.

bazel

a fast, scalable, multi-language and extensible build system

bazel-eclipse

This is the Eclipse Feature for developing Bazel projects in Eclipse. The Bazel Eclipse Feature supports importing, building, and testing Java projects that are built using the Bazel build system.

bazel-remote

A remote cache for Bazel

cargo-raze

Generate Bazel BUILD from Cargo dependencies!

google-breakpad

An unofficial mirror of Google Breakpad.

googletest-mirror

Mirror of Google Test SVN Repository

graphviz

Port of graphviz to compile under mingw-w64

janky

Continuous integration server built on top of Jenkins and Hubot

libssh2

lsp4e

Language Server Protocol support in Eclipse IDE

pbjson

Auto-generate serde implementations for prost types

rules_lint

Run static analysis tools with Bazel

rules_protobuf

Bazel rules for building protocol buffers and gRPC services (java, c++, go, ...)

rules_python

Bazel Python Rules

Sparkle

A software update framework for the Mac

swingx

SwingX with local changes

tracing-stackdriver

Stackdriver-compatible tracing Subscriber

tyger

A tool to translate CSP-like process algebras into CSPM.

zip

A portable, simple zip library written in C