(anonymous guest) (logged out)

Copyright (C) by the contributors. Some rights reserved, license BY-SA.

Sponsored by the Wiki Symposium and the Nuveon GmbH.

Add new attachment

Only authorized users are allowed to upload new attachments.

This page (revision-2) was last changed on 08-Jan-2007 20:28 by RaphLevien

This page was created on 01-Jan-2007 06:53 by

Only authorized users are allowed to rename pages.

Only authorized users are allowed to delete pages.

Difference between version and

At line 1 changed one line
Barghest is the content management system under development for [ghilbert.org|http://ghilbert.org/]. It is written in Python and uses a SQL database as its backend. Most of the content there is machine-verifiable mathematical proofs and discussion around them. Developments planned for the near future include doing server-side verification of proofs, as well as mathematical typesetting. Both of these pieces of functionality exist as client-side Python prototypes now.
Barghest is now [[Ghestalt]] (the name derives from "bar**Ghest alt**ernate"), which is based on the Django framework, while Barghest talked CGI and SQL directly.
At line 3 removed 3 lines
The text markup language is very strongly based on Creole, with only tables, ordered lists, and images not yet implemented, and a few extensions. All deviations are described on the [WikiMarkup|http://barghest.ghilbert.org/wiki/WikiMarkup] page, and my goal is to resolve as many of those as possible in favor of compatibility. Mathematical proofs are stored in the Ghilbert language, which is based on Norm Megill's Metamath system. Mathematical terms are S-expressions.
[Raph Levien], its developer, is particularly proud of the wikiformat() function, which he feels is clean, robust, and performant compared with many of the wiki formatters he's seen. The code is accessible as a darcs repository at [http://raph.levien.com/garden/barghest/]. The nominal license is GPL, but if you want to use the code under different licensing conditions, ask and ye shall probably receive permission.
Version Date Modified Size Author Changes ... Change note
2 08-Jan-2007 20:28 0.166 kB RaphLevien to previous Barghest -> Ghestalt
1 01-Jan-2007 06:53 1.369 kB to last describing Barghest
« This page (revision-2) was last changed on 08-Jan-2007 20:28 by RaphLevien