Search Results for "libhamlib-4" - Page 2

In the tradition of Hilbert's program we create a formal correct (checkable by a proof verifier) but readable (like an ordinary LaTeX textbook) mathematical knowledge base which is freely accessible within the internet. Logic and set theory started.

NEW! Works with current IE, Firefox, and Chrome browsers. See the 'Loading & Saving' Woas page for details (in Woas file). Woas is a complete wiki in a single HTML file that works in every major browser, including older versions (even IE6!). It can store and display images and files within itself and is incredibly useful for research and documentation. This is my version of the WoaS (stickwiki) project. It is starting out as the home of my fixes to the 0.12.0 version that I am calling...

Doxverilog is a nativ Verilog/SystemVerilog parser for the Doxygen documentation generator. This allows the production of advanced documentation from Verilog/SystemVerilog sourcecode.

MRestTableEdit is a simple program for editing tables in reStructuredText documents.

CodeInvestigator is a tracing tool for Python programs. All the run time information is recorded. Read your code together with its run time details. Use it to visualize what happened when you program ran.

DEFT, the Development Environment For Tutorials, allows you to easily write and maintain tutorials which contain source code examples. If the code you're documenting changes, your examples in the tutorial will change as well.

To investigate, describe and develop methods and approaches to generating maps with computers. This is not another GIS project. This one is focused on how to develop programs which make useful end user maps and programs using map backgrounds.

Timemine is a graphical desktop front to add and edit time entries in the project management tool Redmine [http://www.redmine.org]. Timemine show a daily view of the time entries for the logged in user and a summary for each day in a tree view.

AJAX based wiki designed to operate like a desktop help viewer(chm)

A revision of the JavaDoc standard doclet for generating Java API documentation in HTML that uses CSS and JavaScript to provide an improved user interface.

Doxygen OpenOffice import filter

OmniHelp is a cross-platform, browser-independent, tri-pane help viewer built in pure JavaScript and CSS with HTML 4. Some functions (such as help embedding) may in the future be in Java, C, or C++; CSH is fully supported. All code is under the LGPL.

This download is currently not working, link to download coming soon.

Debian documentation for newcomers - "newbies" - written by newbies (and not-so-newbies).

Webman is a PHP front-end to creating UNIX man pages.

AsciiLitProg is a programming language neutral literate programing tool based on AsciiDoc.

PHPflow is a program which provides browser-viewable flowcharts without the use of own Visio-like browser-plugins.

DoxMentor4J is a standalone cross platform Web/Ajax based documentation library that is fully searchable and may be hosted in the file system, in an archive or embedded in the Java classpath.

generate a GNU compliant ChangeLog file from the svn log messages using a very simple perl script. No big dependencies, no big libraries. Plain and simple.

current build is now 12_8_11: Code reformulation, not only to improve/repair, but also to take into account libraries that I don't release (e.g., the applet one). The Jars are compiled under Sun Windows JVM 1.7.0_1.

Supa aims to implement an easy way of uploading images from the local clipboard to a remote server. It's our goal to make supa very easy to adapt to other projects.

Translate comments of Python programs into your language.

List of TCP/UDP port for android phone

With this program, you can create app settings file ( *.ini). This program is written by C#. It has syntax highlighting and new, open, save, save as, add comment, add section, add key and value commands for now.

C++ Prettify is a GNU sed script that is used to convert C++ source code into a chroma-coded HTML format suitable for use with most blogging sites and inclusion into other HTML documents.