obliv-c. C
sqrtOram. C
netlist. A simple circuit library for easy generation of large complicated SAT queries or garbled circuits
any_of. A constrained version of the C++ class `std::any`
cashew_set. C++
oalex. A parser generator for rapid prototyping
janus. Java
