claferwiki: A wiki-based IDE for literate modeling with Clafer

This is a package candidate release! Here you can preview how this package release will appear once published to the main package index (which can be accomplished via the 'maintain' link below). Please note that once a package has been published to the main package index it cannot be undone! Please consult the package uploading documentation for more information.


A wiki-based IDE for literate modeling with Clafer. A Plugin for the Gitit wiki which collects code blocks written in Clafer (.clafer), compiles them, renders into HTML and Dot, and replaces the code blocks with the results.

[Skip to ReadMe]


Versions0.3.5,, 0.3.6,, 0.3.7, 0.3.8, 0.3.8, 0.3.9, 0.3.10, 0.4.0, 0.4.1, 0.4.2,, 0.4.3, 0.4.4, 0.4.5
Change logNone available
Dependenciesbase (>= && <5), clafer (==0.3.8), containers (>=, directory (>=, gitit (>=, MissingH (>=, mtl (>=2.1.2), network (>=, process (>=, SHA (>=1.6.4), split (>=0.2.2), time (>=, transformers (>=, utf8-string (>=0.3.8) [details]
CopyrightMichał Antkiewicz, Chris Walker, Luke Michael Brown
AuthorMichał Antkiewicz, Chris Walker, Luke Michael Brown
MaintainerMichał Antkiewicz <>
Home page
Source repositoryhead: git clone git://
UploadedTue Jan 27 22:58:29 UTC 2015 by mantkiew



Maintainers' corner

For package maintainers and hackage trustees

Readme for claferwiki-0.3.8

[back to package description]

Clafer Wiki =========== v0.3.8 ClaferWiki is a wiki system integrated with Clafer compiler. Clafer is a lightweight yet powerful structural modeling language. ClaferWiki allows for embedding Clafer model fragments in wiki pages and provides model authoring support including code highlighting, parse and semantic error reporting, hyperlinking from identifier use to its definition, and graphical view rendering. ClaferWiki supports informal-to-formal modeling, that is, gradually refining parts of specification in natural language into a Clafer model fragments. ClaferWiki supports literate modeling - both the rich text and the model fragments can be freely mixed. Informal-to-formal modeling is important during domain modeling. Also, ClaferWiki acts as a collaborative, lightweight, web-based integrated development environment (IDE) for Clafer. In addition to code highlighting, error reporting, hyperlinking, and graphical view rendering, it also provides model versioning and distributed online/offline editing capabilities as it is based on the Git distributed version control system and the Gitit wiki.

Live demo

Try me! If the demo is down or you encounter a bug, please email Michal Antkiewicz. Contributors ------------

Dependencies for running

Regardless of the installation method, the following are required:

Installation from Hackage

  1. cabal update
  2. cabal install claferwiki
  3. cd <cabal's lib or share folder> (C:\Users\<user>\AppData\Roaming\cabal\i386-windows-ghc-7.6.3\claferwiki-0.3.8 on Windows or .cabal/share/x86_64-linux-ghc-7.6.3/claferwiki-0.3.8/ on Linux)
    • execute make install to=<target directory>
    • this will copy the wiki files

Installation from source code

  1. In some <source directory> where you want to have the wiki source code
    • execute git clone git://
  2. execute cabal update
  3. execute make init
  4. execute make
  5. execute make install to=<target directory>
    • this will copy the wiki files

Important: Branches must correspond

All related projects are following the simultaneous release model. The branch master contains releases, whereas the branch develop contains code under development. When building the tools, the branches should match. Releases from branches 'masterare guaranteed to work well together. Development versions from branchesdevelop` should work well together but this might not always be the case. Usage =====