Explore projects

https://courses.cs.washington.edu/courses/cse143/20au/

manually (not automatically!) deployed to https://courses.cs.washington.edu/courses/cse390ha/24sp/

https://courses.cs.washington.edu/courses/cse390ha/20au/

⚙️ A language for formal reasoning with digital fabrication machines

Example plain HTML site using GitLab Pages: https://pages.gitlab.io/plain-html