1. 11
    Stan - A static analysis tool for Haskell (similar to errorprone for Java) formalmethods haskell github.com
    TomMD avatar via TomMD 4 days ago | cached | 2 comments
  2. 5
    Infer: Find Races and Deadlocks c debugging medium.com
    TomMD avatar authored by TomMD 1 month ago | cached | no comments