mornfall's repositories

• divine — An explicit-state parallel LTL model checker. http://divine.fi.muni.cz
• fslib — A filesystem access library for Haskell.
• pathlib — A filepath handling library for Haskell.
• patchlib — Do stuff with darcs patches.
• gorsvet