Allolib-s22

This is the main website for CMPSC 190B/CMPTGCS 130H, a co-located Coe CS and CCS Computing course offered in s22 at UCSB.

Useful Examples

The main synthesis examples from allolib-playground:

Conrad’s Additional Examples from S22:

Conrad’s Additional Examples from S21:

Where to look for more stuff from the S21 students:

In particular: