GitHub repository: smucclaw/lam4
Primary language: Haskell
Description: A functional (and hopefully in the near future, solver-aided) DSL for the law