CSProjects is a centralised source code management service based on Subversion and Trac for projects related to the University of Kent.
Below you can sign in to access your projects or view publicly available projects.
For documentation and help on CSProjects please see the CSProjects wiki.
| Name | Description | Links |
|---|---|---|
| cleaner | Program to clean temporary directories such as /tmp on long running machines | Trac Subversion Home page |
| cosmos | Complex systems modelling using process-oriented techniques | Trac Subversion Home page |
| cpa | The Communicating Process Architectures conference series | Trac Subversion Home page |
| cppcsp | C++CSP2 - an implementation of CSP ideas in C++ | Trac Subversion Home page |
| csprojects | Kent CSProjects | Trac Subversion |
| cxxr | CXXR: Refactoring the R Interpreter into C++ | Trac Subversion Home page |
| epochx | Genetic Programming for research | Trac Subversion Home page |
| eulerviz | Visualization techniques for Euler diagrams | Trac Subversion Home page |
| hare | HaRe is a refactoring system for the Haskell functional programming language | Trac Subversion Home page |
| heat | IDE for learning and teaching functional programming in Haskell | Trac Subversion Home page |
| java-nfs | Java Based NFS Client and Server Code with generic RPC and XDR layer | Trac Subversion Home page |
| jcsp | An implementation of CSP concepts (processes, channels, barriers, etc) in Java | Trac Subversion Home page |
| jctld | Cluster job control system | Trac Subversion Home page |
| kroc | Kent occam-pi system | Trac Subversion Home page |
| leopard | Beware of the Leopard - Mac OS 10.5 likes and gripes | Trac Subversion |
| logic2cnf | Extension to the popular MiniSAT satisfiability solver. | Trac Subversion |
| mirrorservice | mirrorservice.org code base. | Trac Subversion Home page |
| mubuild | Multi compiler dissasembler tool. | Trac Subversion |
| nocc | Experimental new occam-pi compiler for kroc | Trac Subversion Home page |
| occlipse | Eclipse bindings for occam-pi/KRoC | Trac Subversion Home page |
| permis | The source code of the PERMIS authorisation infrastructure. | Trac Subversion Home page |
| reflection_seams2009 | Paper on reflection to be submitted to SEAMS 2009 | Trac Subversion |
| reveng-playground | Various disassmblies and tests for Edd Barrett's research. | Trac Subversion |
| rmox | A scalable lightweight concurrent operating system | Trac Subversion Home page |
| robopop | Tools for process oriented programming on Robotics platforms | Trac Subversion |
| shintau | Source Repository of the Shintau project for Federated Attribute Aggregation | Trac Subversion Home page |
| swigoccam | SWIG with occam-pi support | Trac Subversion |
| tock | Functional nanopass compiler for concurrent languages | Trac Subversion Home page |
| transterpreter | A portable virtual machine for concurrent languages | Trac Subversion Home page |
| uwg | Micro window-gadgets C/X11 widget toolkit | Trac Subversion Home page |
| wlanresearch | wlan research SVN for gho | Trac Subversion Home page |
| wrangler | Wrangler is a system for refactoring Erlang programs | Trac Subversion Home page |
