Popular repositories Loading

1. libcspm libcspm Public

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

   Haskell 30 6

2. graphviz-cmake graphviz-cmake Public

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

   Graphviz (DOT) 11 2

3. lz4-mirror lz4-mirror Public

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

   C 3

4. smhasher-mirror smhasher-mirror Public

   Mirror of SMHasher.

   C++ 2

5. webcspm webcspm Public

   A web-based type checker for CSPM.

   Haskell 1

6. terminalcolours terminalcolours Public

   Forked from teng-lin/terminalcolours

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

   Objective-C 1