https://github.com/cksystemsteaching/selfie
Tip revision: 3071b46038c8d6baa0db5d79024498c1440c53ce authored by Christoph Kirsch on 29 March 2024, 15:39:15 UTC
Code synthesis!
Code synthesis!
Tip revision: 3071b46
| File | Mode | Size |
|---|---|---|
| .github | ||
| assignments | ||
| docs | ||
| examples | ||
| grader | ||
| machine | ||
| theses | ||
| tools | ||
| .dockerignore | -rw-r--r-- | 10 bytes |
| .gitignore | -rw-r--r-- | 120 bytes |
| .replit | -rw-r--r-- | 786 bytes |
| AUTHORS | -rw-r--r-- | 828 bytes |
| Dockerfile | -rw-r--r-- | 6.2 KB |
| LICENSE | -rw-r--r-- | 1.3 KB |
| Makefile | -rw-r--r-- | 16.4 KB |
| README.md | -rw-r--r-- | 16.8 KB |
| grammar.md | -rw-r--r-- | 3.0 KB |
| replit.nix | -rw-r--r-- | 53 bytes |
| riscu.md | -rw-r--r-- | 3.4 KB |
| selfie.c | -rw-r--r-- | 354.2 KB |
| semantics.md | -rw-r--r-- | 2.6 KB |
