GitHub repository: sarvex/HBDD
Primary language: Haskell
Description: Purely functional BDD library.