GitHub repository: mfuegger/SeAL
Primary language: Python
Description: research on faults in async circuits