The world's first evidence-oriented programming language
Additional dictionary files for the NetBeans spellchecker.
Code samples in the form of a set of small utilities and micro-libs.
Store and organize your text data and copy/paste them with one click
Generate automated documentation for any programming language.
proof verifier for mathematical proofs and documentation generator
Woas is a complete wiki in a single HTML file, forked from stickwiki.
Literate programming for eclipse