Twelf Wiki Tools

A set of MediaWiki extensions and other tools developed for the Twelf wiki (http://twelf.plparty.org) that enable a wiki to naturally incorporate logic Twelf in a number of meaningful and useful ways.

Project Activity

See All Activity >

License

GNU General Public License version 2.0 (GPLv2), MIT License

Follow Twelf Wiki Tools

Twelf Wiki Tools Web Site

Other Useful Business Software

Get the most trusted enterprise browser

Advanced built-in security helps IT prevent breaches before they happen

Defend against security incidents with Chrome Enterprise. Create customizable controls, manage extensions and set proactive alerts to keep your data and employees protected without slowing down productivity.

Download Chrome

Rate This Project

User Reviews

Be the first to post a review of Twelf Wiki Tools!

Additional Project Details

Intended Audience

System Administrators

User Interface

Web-based

Programming Language

Haskell, PHP

Related Categories

PHP CGI Scripts, PHP Documentation Software, PHP Mathematics Software, PHP Computer Aided Instruction (CAI) Software, PHP Wiki Software, Haskell CGI Scripts, Haskell Documentation Software, Haskell Mathematics Software, Haskell Computer Aided Instruction (CAI) Software, Haskell Wiki Software

Registered

2008-07-20

Similar Business Software

MediaWiki

MediaWiki is a collaboration and documentation platform brought to you by a vibrant community. The MediaWiki software is used by tens of thousands of websites and thousands of companies and organizations. It powers Wikipedia and also this website. MediaWiki helps you collect and organize...

See Software
BlueSpice

Find everything immediately. Update knowledge faster: BlueSpice is the enterprise distribution of the famous Wikipedia software MediaWiki. Working with BlueSpice is as simple and uncomplicated as you would expect from wikis and meet the most demanding requirements. Add user-friendly extensions...

See Software
Zoho Wiki

Knowledge management for teams made easy. Zoho Wiki, an easy to use knowledge management tool, caters to the particular needs of teams within your organization. Now you can effectively create and share knowledge. Create workspaces and pages, assign users, customize your portal and stay...

See Software
DocuWiki

DokuWiki is a simple-to-use and highly versatile open source wiki software that doesn't require a database. It is loved by users for its clean and readable syntax. The ease of maintenance, backup, and integration makes it an administrator's favorite. Built-in access controls and authentication...

See Software
Kbee

Turn Google Drive folders into a fast, searchable wiki for you and your team. Turn your existing Google Drive folders and files into a professional wiki. Each wiki comes with full-text search across all of your content. Edit and collaborate on wiki articles without leaving Google Drive. Let...

See Software
WackoWiki

WackoWiki – Small, lightweight, handy, expandable, multilingual Wiki-engine. It's designed for speed and extensibility. WackoWiki is completely free and open source, and it is BSD licensed. Includes a WYTIWYG editor, easy installer, section edit, thumbnail creation, many localizations, RSS...

See Software