GitHub repository: robsimmons/batsat
Primary language: TypeScript
Description: A CatSAT implementation for the browser 🦇