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

Try Google Cloud Risk-Free With $300 in Credit

No hidden charges. No surprise bills. Cancel anytime.

Use your credit across every product. Compute, storage, AI, analytics. When it runs out, 20+ products stay free. You only pay when you choose to.

Start Free

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

Rise Vision

Rise Vision is the all-in-one platform for digital signage, screen sharing, and emergency alerts designed to help organizations communicate, teach, collaborate, and improve safety. The cloud-based system integrates digital signage, interactive digital signage, screen sharing, and emergency...

See 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
SmartDraw

SmartDraw makes professional drawings and diagrams accessible to everyone. Non-technical users can quickly create floor plans, while professionals get the precision and scale they require. With industry-leading floor planning tools and an intuitive interface for traditional diagramming like...

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