379 projects tagged "HTML/XHTML"
Updated 24 May 2013
Hilbert II
| Pop | 335.90 |
|---|---|
| Vit | 270.31 |
The goal of Hilbert II, which is in the tradition of Hilbert's program, is the creation of a system that enables a working mathematician to put theorems and proofs (in the formal language of predicate calculus) into it. These proofs are automatically verified by a proof checker. Because this system is not centrally administered and enables references to any location on the Internet, a world wide mathematical knowledge base could be built. It also contains information in "common mathematical language".
Updated 20 May 2000
Dina
| Pop | 21.77 |
|---|---|
| Vit | 68.95 |
Dina lets you put any commands and languages into otherwise normal HTML files.
Updated 08 Jun 2000
HTMelt
| Pop | 15.46 |
|---|---|
| Vit | 68.81 |
htmelt is a program that 'melts' multiple htmls into one, finding commented "!-- INCLUDE .... --" HTML tags and inserting the refered files.
Updated 28 Jun 2000
Jerry's Music Review System
| Pop | 16.70 |
|---|---|
| Vit | 68.66 |
Jerry's Music Review System generates an HTML page from a simple flat file containing the band name, album name, date purchased, and a review of the album. It arranges the information and cross-indexes on band name and album name. It also displays a list of the 10 most recently purchased albums. Examples can be found on the homepage.
Updated 07 Mar 2001
textslides
| Pop | 27.20 |
|---|---|
| Vit | 66.81 |
textslides generates a set of HTML slides from a single plain text file. The output can be used for a presentation or for a web site. You may find textslides useful if you need to create a presentation for a technical audience and you would like to use a text editor to create the presentation content. A simple set of formatting rules governs the translation of the textfile into HTML. The formatting rules for the textfile were inspired by the Wiki Website. textslides uses the Wpager.pm module from the htmlslides project.
Updated 31 Aug 2001
NetCrawler
| Pop | 27.89 |
|---|---|
| Vit | 65.47 |
NetCrawler is the frontend to a Web crawling system. This command line application will download all of the pages within a domain, and then parse and process all of the relative content (Images, Text, Audio, Video), saving this content within an XML document for later processing. It is definitely alpha quality, but has been used quite extensively.
Updated 04 Jan 2002
@1 Event Publisher
| Pop | 31.70 |
|---|---|
| Vit | 64.49 |
@1 Event Publisher lets you post events on your Web page via SSI. Events posted by visitors are pending approval by administrator. Events' icon images are optional.
Updated 04 Jan 2002
@1 Customer Records
| Pop | 36.39 |
|---|---|
| Vit | 64.49 |
@1 Customer Records is a Web-based customer database system with alert modes, single emailing mode, targeted bulk emailing modes and other features.
Updated 21 Jan 2002
clsForm.inc
| Pop | 13.93 |
|---|---|
| Vit | 64.37 |
clsForm is a PHP class which builds HTML forms and JavaScript validation functions with a small amount of PHP input.
Updated 26 Apr 2002
@1 Data Sorting Tool
| Pop | 16.73 |
|---|---|
| Vit | 63.62 |
@1 Data Sorting Tool grabs contents from a text-based data file and sorts the data before tabulating it into an HTML table. Visitors can click on the title fields to re-sort the table in acending or decending order. It works with MS Excel/Access data files or any other tab/pipe/colon-delimited text files, and supports unlimited tables and sub-user accounts.
