Twelf Wiki Tools v.1.0


A set of MediaWiki extensions and other tools developed for the Twelf wiki ( that enable a wiki to naturally incorporate logic Twelf in a number of meaningful and useful ways.

A set of MediaWiki extensions and other tools ...

  • Twelf Wiki Tools
  • 1.0
  • Rob
  • Windows
  • Freeware
  • 214
  • Free

Review Twelf Wiki Tools

  • captcha

Other software of Rob
  • Advanced Sql Server Adapter  v.1.0As the red-headed stepchild of database adapters in Ruby on Rails, Sql Server lacks some of the features and performance benefits granted to mysql & others. This adapter aims to correct and improve much of that.
  • FireDisplay  v.1.0A quick and easy CGI Perl firewall log parser that gives an up to date look at logs created by ipchains. It diplays the firewall logs as a HTML page.
  • High Speed robot visions system  v.1.0This project is to design a high speed vision system used in RoboCup.It involves integrating an FPGA onto the current robotic platform and implement software to do object recognition and provide useful informations to the rest of Robotic system.

New Miscellaneous software
  • Islam  v.8.10Holy Qur'an book from Allah Subhanahu Wa Ta'ala to all people, presented by in Islam software which is available in 43 Holy Qur'an translations including original Arabic text and features: search engine, search open/save, MP3 player ...
  • EJuice Me Up  v.17.2.0This e-juice recipe calculator is free. Mix your own blend of e-liquids with PG, VG, H2O and Nicotine and find the desired nicotine strength and flavoring percentage. Measure by volume, percentage, grams or drops.
  • Icecream Ebook Reader  v.5.30Icecream Ebook Reader features options for organizing a digital library and managing and reading ebooks with maximal comfort. It supports books in EPUB, MOBI, PDF, FB2, CBR, CBZ formats, features filters, notes, highlighting and copying of text.
  • Tab Writer  v. Writer is designed to easily write tablature for four, five, six, seven, eight, twelve string as well as custom instruments and tunings. You have the ability to save, edit, and print your tablature.
  • Tuxorial  v.1.0Tuxorial is a graphical Linux developer's tutorial for aspiring C/C++ programmers. It uses Qt atop of the X Window system for the GUI with MySQL for the backend. It uses XML-based technologies for configuration data and OpenGL for advanced graphics.
  • UD CIS studyabroad  v.1.0A project page for use by the UD CIS department's SA program.