Tag: design
- Designing Knitted Illusions by Amy Zhu (18 March 2024)
automated-testing
code-formatting
compiler
computer-algebra
design
dragon-curves
fabrication
floating-point
knitting
l-systems
oracle-generation
outreach
polynomial
pretty-printing
security
side-channels
space
synthesis
testing
time
undergraduate-pl
verification
weaving
compilers
education
equality-saturation
pluggable-types
program-optimization
type-checking
type-inference
verilog
hardware