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

Earn up to 16% annual interest with Nexo.

More flexibility. More control.

Generate interest, access liquidity without selling, and execute trades seamlessly. All in one platform. Geographic restrictions, eligibility, and terms apply.

Get started with Nexo.

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

JAMS

JAMS is an automation orchestration and job scheduling solution that works across applications, APIs, and scripting languages. Run, monitor, and manage critical IT processes—from simple batch jobs to cross-platform workflows—from a single pane of glass. JAMS can automate jobs on any...

See Software
MASV

MASV Inc. is a secure cloud software company designed to quickly transfer heavy media files worldwide to meet fast-paced production schedules. Global media organizations rely on MASV to automatically deliver their large files without any restrictions, allowing them to concentrate on their next...

See Software
Odoo

Odoo is a fully integrated, customizable, open-source software packed with hundreds of expertly designed business applications. Odoo’s intuitive database is able to meet a majority of business needs, such as: CRM, Sales, Project, Manufacturing, Inventory, and Accounting, just to name a few. Odoo...

See Software
ManageEngine OpManager

OpManager is a network management tool geared to monitor your entire network. Ensure all devices operate at peak health, performance, and availability. The extensive network monitoring capabilities lets you track performance of switches, routers, LANs, WLCs, IP addresses, and...

See Software
ServoDesk

Award winning, easy to use Help Desk software for service departments challenged to do more with less. ServoDesk delivers flexible solutions for all support teams regardless of size incorporating AI. - Manage multiple data channels from one easy to use interface. - Roles based access to...

See Software
Frontegg

Frontegg is a Customer Identity and Access Management (CIAM) platform that simplifies authentication, authorization, and user management for SaaS companies. It enables developers to implement advanced identity features quickly, then shift ongoing administration to other teams. With Frontegg,...

See Software