Search Results for "linux-secure" - Page 3

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.

CrowdDoc is an Eclipse plugin aiming to provide most relevant information for the currently selected code element. The behaviour is similar to JavaDoc view, but is not limited to single language, and uses crowd-sourced documentation resources, such as StackOverflow. The project is inspired by a work from Ninlabs Research (http://blog.ninlabs.com/2012/05/crowd-documentation/) Eclipse p2 update site: http://crowddoc.sourceforge.net/updates

Web-based editor for the Gateway Description Language (GDL).

SonicReader is used to view and save reports of the internals of a Sonicwall Configuration file. This is useful for those people that wish to know the settings within their saved Sonicwall Configs. I have no affiliation with Dell Sonicwall. Please do not contact Dell Sonicwall regarding the use of this program.

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.

RoboCup GameController is an open source software used in the RoboCup Humanoid League and the Standard Platform League. Referee commands are sent to the robots on the playing field via wireless network to reach a higher autonomy of the players.

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.

Java based application for generating Java Doc type documentation from an Oracle database

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.

Additional dictionary files for the NetBeans spellchecker.

Read and search java sdk and other documentation from eclipse help system.

DocItOut is a tool that enables SAS programmers to easily generate online documentation in HTML format based on the comments and statements from the SAS files.

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.

Transliterator between any Language files - Map Fonts, Create Encoding Scheme, Input Phonetic, Indian, Roman, Tamil, Hindi, English, French, German, Spanish or Any World Language Keyboard. Ex: [Phonetic Input]-[Any World Language Output] or ViceVersa.

SourceDoc is a powerful system for automatic creation, extraction, and verification of embedded documentation. Designed for C code, it features both a C parser and a preprocessor. The default output format is HTML, but other formats are possible to plug in using a public Java interface.

NOTE: This project has moved out of berliOS. See http://antdoclet.neuroning.com - AntDoclet is a tool to automatically generate documentation for your custom Ant Tasks.

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.

The PublishedApiDoclet is a javadoc doclet, that acts as a filter in font of a second doclet, that generates output. It selects the methods, fields, classes and packages to be documented using arbitrary tags (i.e. @pad.include-tag or @exclude-tag).

Task for ANT to produce documentation with (PDF)LaTeX using BibTeX, Makeindex and GlossTeX.

ThManager is a tool for creating and visualizing knowledge organization models, such as thesauri, classification schemes, glosaries and other types of controlled vocabulary in SKOS format

JSeqUnit enhances Javadoc documentation with UML sequence diagrams that are generated with the help of JUnit tests. It uses JSeq to trace the execution of test executions. It supports re-engineering of components through improved reverse engineering of methods with the help of sequence diagrams.

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.