Duet: static analysis for unbounded concurrency

Bottom-up memory-safety for assembly language using symbolic execution

Everything you could wish for in a library called RoboPoker. Full suite of data structures, algorithms, solvers, ML models, and more.

A Java library to determine probability of objects being similar.