QuickCheck
is a language for stating properties of programs.
?FORALL(X, nat(), X*X >= 0)
# Caesar cipher encoding | |
echo "THE QUICK BROWN FOX JUMPS OVER THE LAZY DOG" | tr '[A-Z]' '[X-ZA-W]' | |
# output: QEB NRFZH YOLTK CLU GRJMP LSBO QEB IXWV ALD | |
# Caesar cipher decoding | |
echo "QEB NRFZH YOLTK CLU GRJMP LSBO QEB IXWV ALD" | tr '[X-ZA-W]' '[A-Z]' | |
# output: THE QUICK BROWN FOX JUMPS OVER THE LAZY DOG | |
# Can also be adjusted to ROT13 instead |
This configuration is not maintained anymore. You should think twice before using it, Breaking change and security issue will likely eventually happens as any abandonned project.
% Post/Query string parameter validation. | |
% | |
% Mark Allen, [email protected] | |
% | |
% Specs [{{name, "param_name"}, {required, true}, {type, function}}, ... ] | |
% Input [{"name", "value}, ...] just you'd get from post or query string parameters | |
-module(t). | |
-export([test/0, test1/0, test2/0]). |
http:request(get, {"http://hostname/resource", [{"Authorization", "Basic " ++ base64:encode_to_string("username:password")}]}, [], []). |