afd - Overview Skip to content Navigation Menu Pricing Provide feedback Saved searches Use saved searches to filter your results more quickly Sign up Appearance settings Alastair Donaldson afd Organizations Block or report afd Popular repositories Loading Tutorial Questions for the Programming II course at Imperial College London Java 53 36 Tools for symmetry reduction in model checking, originally developed at the University of Glasgow Java 2 A repository of bugs found in WGSL shader compilers and related technology WGSL 1