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 "09c933f542e53908c583151332442cd2edbd5d43"
| Name | Last commit | Last update |
|---|---|---|
| doc | ||
| experimental | ||
| src | ||
| .gitmodules | ||
| README.md |