- Audio & Video
- Business & Enterprise
- Home & Education
- Science & Engineering
- Security & Utilities
- System Administration
This SourceForge project page is obsolete. Please visit http://www.musicpd.org/20 weekly downloads
dependently typed functional programming language1 weekly downloads
A graph-coloring-solver using sat-solvers. Goal of this project is to provide a clean, extensible and efficient implementation in Haskell with well satsolver-integration, good tools to evaluate different encodings and nice bridges to real world problems.
While is a Haskell implementation of the While language found into the Nielson book. Semantics with Applications.