Optimized Garbled Circuit Algorithmic Description
Not all optimizations of garbled circuits are compatible with each other. Are you interested in implementing all of the different combinations? If not, the Half Gates paper already gives a formal description of the scheme, which includes point-permute, fixed-key block cipher, free-XOR. This should represent the state-of-the-art combination of GC optimizations. There is a good implementation of half-gates in the Ivory project.