{"ref":null,"ref_type":"repository","master_branch":"master","description":"CRFFL (Constant-Resource First-Order Functional Language) is a tool that automatically and statically checks that a program is constant resource-usage with respect to the sizes of its inputs. It also automatically transforms a non-constant-resource program into constant-resource one. ","pusher_type":"user"}