An implementation of the nlookup protocol as a R1CS circuit (that is, the nlookup verifier is made noninteractive and expressed as R1CS) that incorporates hybrid tables and projection optimizations as described here. We use the arkworks library to write R1CS.
Documentation coming!
Also, for now, some memory circuitry and some arkworks -> bellperson conversion code lives here.