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