Software source code and binary repositories.
A git server is commonly a top-down service, i.e., the files in the git server repository are the master reference, and the files on the local computer are slave copies. Here, the git service is used bottom-up, i.e., the files on the local computer are the master references, which are synchronised with the git repository using a shell script and curl. The local repository is managed by other cloud-based back-up and revision tools (basically tar and seafile).
Repository | Description |
---|---|
conpro2 | Concurrent Programming Synthesis and Compiler |
jc | JavaScript Project Builder (Compiler) |
jam | JavaScript Agent Machine |
workbook | JavaScript WorkBook: Parallel & Distributed Numerical and ML Software Framework |
XraySim | Radiography and CT Xray Simulator and Parallel Filtered Back Projection |