100644 blob 1ed2d2114dc25aa422315eab7e11171f67362de7	Makefile
100644 blob 2c8db7f2e8f8d5b48588eb96c97115c53ca3dfda	README
100644 blob 7769cbca404ca76a6f94a7a381b141db0f6acdb1	const_generator.py
040000 tree ae06f3b1c3022cf662a1463068966dd2b7c76986	java
040000 tree da6c89474d5c39d289ded08e02a37d577a0d3b51	ocaml
040000 tree 793d100f063066085c6af2adbb2ed644a8d375c0	python