Search Results for "research"

nginx-admins-handbook is a practical, in-depth guide for configuring, securing, and operating NGINX across real-world deployments. It distills years of research, notes, and field experience into a single handbook that complements the official docs with concrete rules, explanations, and curated external references. The handbook spans fundamentals and advanced topics alike, from HTTP and SSL/TLS basics to reverse proxy patterns, performance tuning, debugging workflows, and hardening strategies. ...

The concept behind DataWoo is to create a Spring-based architecture that allows developers to jump-start their coding efforts by providing a hardened and secure foundation when developing new systems; it can also be used as a reference for incorporating new technologies into existing systems. DataWoo is meant to be a research and development platform that can be extended into just about any enterprise-level web application. The architecture will be developed in three phases: 1. Basic Spring Architecture: Provides all the basic components needed to field an enterprise-level application. 2. Programmatic Security Model: Incorporates the components needed to dynamically assign users to user roles and user roles to profiles. 3. ...

This tool allows you create fast code-images of LabVIEW. With support for text and drawing annotations

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.

...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 0.13.0 (and hope will be published as such in the WoaS project), but may transition over time into a new and possibly incompatible version of the original tool, depending on what happens in the original project. ...

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.

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.

Proyecto de desarrollo y traducción de documentación de usuario final para la instalación, configuración y uso de Greenstone

Personal wiki that lives in one self-modifying XHTML containing software, interface and data. Very useful for creating small websites and mantaining notes or todo-lists; completely javascript-programmable, supports encryption and file embedding.

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

Patternity is a framework to build tools upon it. Its meta-model is augmented with patterns, enabling tools to work at a higher level, closer to the way you think. The goal is to to create patterns-aware tools to automate more of your work.

MetaUML is a GNU/GPL MetaPost library for typesetting exquisite UML diagrams.

The CoreASM project focuses on the design of a lean executable ASM (Abstract State Machines) language, in combination with a supporting tool environment for high-level design, experimental validation and formal verification of abstract system models.

A Neumann Gép egy a Magyar Debian Alapítvány által koordinált projekt, mely szabad dokumentációkat és más szoftvereszközöket készít az állami és civil szférában tapasztalható számítástechnikai alulképzettség leküzdésére

KCWiki is a set of wiki engines. awiki is a simple wiki. Goal is simplest but modular code. one-page coded style. No database is needed.

TuBa, the Turorial Base, is an environment for creating developer tutorials with support of elucidative programming (EP). Unlike other EP-systems it is able to handle all artefacts, that appear in a development process.

Alef++, is a new programming language like Perl and Lisp syntax, with a many changing in classical languages designs, her specification designed to be implemented for any VM, by default can access to any private/protected/default Java fields or methods.

Make AsciiDoc part of your literate programming tool set. With eWEB you can weave and tangle literate programs written as AsciiDoc documents, using embedded WEB code snippets.

Kelp is a source code annotation framework. Written in strict ISO C90 with support for Posix and Windows environments. Large file support. Supports both 32 and 64 bit platforms. Plugins for Vim and Eclipse are available.

Docgen plugin for Protege provides a quick export of all the content of an ontology (classes, instances and documentation) in various formats (html, pdf, fo...). Images, Graphs, URL are readyly included in reports.

n-squared is a light weight, super powered note pad application that stores notes in an embedded database for easy searching. It has a tabbed interface, syntax highlighting, encryption, and more!

Resx Editor is a small translation-oriented file editor for Microsoft RESX 2.0 files. Resx Editor is designed for professional translators (include a word count feature).

The objective of the OpenBerg Project is to develop Open-Source, Open-Standards-based, Multi-Platform tools for eBook authors, editors and users. We are currently working on OpenBerg Lector, an e-Book reader, and OpenBerg Rector, an e-Book compiler.

Quick reference for switching between mathematical computation environments for computer algebra, numeric processing and data visualisation. Examples are Matlab, IDL, SPlus, and their open-source counterparts Octave, Scilab, Python+NumPy and R.

This tool enables you to produce a LaTeX (standard, no extension required) report for database objects (tables, views, indexes, functions, primary/foreign keys, columns, types, keywords, system functions) thanks to the JDBC Api.