| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | .gitignore | 33 | logplain |
| -rw-r--r-- | Makefile | 137 | logplain |
| -rwxr-xr-x | check_checkers.py | 7597 | logplain |
| -rwxr-xr-x | check_loaders.py | 6303 | logplain |
| -rwxr-xr-x | deploy.sh | 116 | logplain |
| -rw-r--r-- | index.html | 721 | logplain |
| d--------- | puzzles | 365 | logplain |
| -rw-r--r-- | pyrightconfig.json | 61 | logplain |
| -rw-r--r-- | pyserde.py | 89 | logplain |
| -rw-r--r-- | requirements.txt | 127 | logplain |
 |
index : quackmark | |
| Comparison of type checkers for Python. | Gitolite user |
| summaryrefslogtreecommitdiff |