Directories
-
/doc: Project documentation. Includes a timeline to do list. -
/experimental: Playing around with various components and technologies. -
/src: Implementation source code.
"git@gl.kwarc.info:supervision/schaertl_andreas.git" did not exist on "cb1e164cc543bb4a22611948e8c8ad90b8e83e00"
| Name | Last commit | Last update |
|---|---|---|
| doc | ||
| experimental | ||
| src | ||
| .gitmodules | ||
| README.md |