Efficient computations of encodings for quantum error correction | Synapse