Serverless reference app and backend API, showcasing authentication and authorization patterns using Amazon Cognito, Amazon API Gateway, AWS Lambda, and AWS IAM.

Logic Workbench, a Clojure toolkit for propositional, predicate and linear temporal logic

The Big List of Naughty Strings is a list of strings which have a high probability of causing issues when used as user-input data.