Updated 2 years ago

Updated 8 months ago

Updated 2 months ago

A framework for executable UC specifications.

Updated 1 year ago

Updated 2 years ago

Updated 2 years ago

Updated 4 months ago

Updated 2 years ago

Updated 2 years ago

My PhD thesis.

Updated 2 months ago

Updated 2 years ago

Updated 1 year ago

Updated 2 years ago

Updated 2 years ago

Updated 1 year ago

Updated 2 years ago

ramen is a status bar feeder.

Updated 1 year ago

Updated 2 years ago

Updated 2 years ago

Updated 2 years ago