GitHub repository: lgig/logical
Primary language: Ruby
Description: A Ruby implementation of some mathematical logic concepts and algorithms.