GitHub repository: watakandai/specless
Primary language: Python
Description: SPECification Learning and Strategy Synthesis