| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | .gitattributes | 109 | logplain |
| d--------- | .github / workflows | 36 | logplain |
| -rw-r--r-- | .gitignore | 403 | logplain |
| -rw-r--r-- | AGENTS.md | 76 | logplain |
| d--------- | AGENTS | 454 | logplain |
| -rw-r--r-- | CMakeLists.txt | 7378 | logplain |
| -rw-r--r-- | LICENSE | 34523 | logplain |
| -rw-r--r-- | README.md | 3010 | logplain |
| d--------- | bundle | 491 | logplain |
| d--------- | cmake | 842 | logplain |
| d--------- | doc | 146 | logplain |
| d--------- | include / cps | 30 | logplain |
| -rw-r--r-- | install.cmd | 10141 | logplain |
| -rwxr-xr-x | install.sh | 7551 | logplain |
| d--------- | lib | 99 | logplain |
| d--------- | plugin | 574 | logplain |
| d--------- | pseudocode-lib | 147 | logplain |
| d--------- | tests | 405 | logplain |
| d--------- | tools | 80 | logplain |
