^^

'doc' section (185/1)


389 Directory Server Management Console -- documentation

A Java based remote management console used for managing 389 Directory Server. . This package includes the html documentation for 389-ds-console.


3D drawing with MetaPost output -- examples

GNU 3DLDF implements an interpreter for a METAFONT-like language for three-dimensional drawing with MetaPost output. . GNU 3DLDF is mainly intended to provide a convenient way of creating 3D graphics for inclusion in TeX documents; it can also be used for creating animations, which can contain text typeset using TeX. . This package contains advanced examples for the 3dldf interpreter.

/main/4ti2/4ti2-doc

mathematical tool suite for problems on linear spaces -- user guide

4ti2 is a mathematical software package for algebraic, geometric and combinatorial problems on linear spaces. . This package provides the user guide for the 4ti2 tool suite; it also contains examples.


package for electronic structure calculations (Documentation)

ABINIT is a package whose main program allows one to find the total energy, charge density and electronic structure of systems made of electrons and nuclei (molecules and periodic solids) within Density Functional Theory (DFT), using pseudopotentials and a planewave basis. . ABINIT also includes options to optimize the geometry according to the DFT forces and stresses, or to perform molecular dynamics simulations using these forces, or to generate dynamical matrices, Born effective charges, and dielectric tensors. Excited states can be computed within the Time-Dependent Density Functional Theory (for molecules), or within Many-Body Perturbation Theory (the GW approximation). In addition to the main ABINIT code, different utility programs are provided. . This package contains the documentation and tutorials.


The Advanced Bash-Scripting Guide

An in-depth exploration of the art of shell scripting. . This tutorial assumes no previous knowledge of scripting or programming, but progresses rapidly toward an intermediate/advanced level of instruction ... all the while sneaking in little snippets of UNIX(R) wisdom and lore. It serves as a textbook, a manual for self-study, and a reference and source of knowledge on shell scripting techniques. The exercises and heavily-commented examples invite active reader participation, under the premise that the only way to really learn scripting is to write scripts. . This book is suitable for classroom use as a general introduction to programming concepts.


Rendering as a binning process documetnation

In most visualization systems, the pixels are tucked away under levels of geometric abstraction in the rendering system (such as circles, squares, and text). Abstract Rendering takes the opposite approach: expose the pixels and gain powerful pixel-level control. This pixel-level power is a complement to many existing visualization techniques. It is an elaboration on rendering, not an analytic or projection step, so it can be used as epilogue to many existing techniques. . This contains the documentation.


Documentation of Abydos NLP/IR library

This package contains the Abydos documentation in HTML and PDF formats and some example Jupyter Notebooks.


Documentation for libaccess-modifier-checker-java

This maven plugin allows applications to define custom access modifiers programmatically, to be enforced at compile time in the opt-in basis. Obviously, there's no runtime check either --- this is strictly a voluntary annotation. . This mechanism is useful for actually making sure that deprecated features are not used (without actually removing such declarations, which would break binary compatibility.) . This package provides the API documentation for libaccess-modifier-checker-java.


query and manipulate user account information - documentation

The AccountService project provides a set of D-Bus interfaces for querying and manipulating user account information and an implementation of these interfaces, based on the useradd, usermod and userdel commands. . This package provides the developers reference for the AccountService library.

/main/ace/libace-doc

C++ network programming framework - documentation

This package contains the ACE overview documentation, tutorials, examples, and information regarding upstream development.


Documentation for Acegi Security

Acegi Security provides comprehensive security services for J2EE-based enterprise software applications. There is a particular emphasis on supporting projects built using The Spring Framework, which is the leading J2EE solution for enterprise software development. . This package provides the API documentation for libacegi-security-java.

/main/acl2/acl2-doc

Computational Logic for Applicative Common Lisp: documentation

ACL2 is both a programming language in which you can model computer systems and a tool to help you prove properties of those models. . This package contains the documentation for ACL2.


Java message broker core libraries - documentation

Apache ActiveMQ is a message broker built around Java Message Service (JMS) API : allow sending messages between two or more clients in a loosely coupled, reliable, and asynchronous way. . This message broker supports : * JMS 1.1 and J2EE 1.4 with support for transient, persistent, transactional and XA messaging * Spring Framework, CXF and Axis integration * pluggable transport protocols such as in-VM, TCP, SSL, NIO, UDP, multicast, JGroups and JXTA * persistence using JDBC along with journaling * OpenWire (cross language wire protocol) and Stomp (Streaming Text Orientated Messaging Protocol) protocols . This package contains Javadoc API for libactivemq-java.


ActiveMQ ActiveIO protocol implementation framework - documentation

Apache ActiveMQ is a message broker built around Java Message Service (JMS) API : allow sending messages between two or more clients in a loosely coupled, reliable, and asynchronous way. . ActiveMQ ActiveIO provides a high performance IO framework for implementing network protocols. . This package contains Javadoc API for libactivemq-activeio-java.


ActiveMQ Protocol Buffers Maven plugin - documentation

Apache ActiveMQ is a message broker built around Java Message Service (JMS) API : allow sending messages between two or more clients in a loosely coupled, reliable, and asynchronous way. . "Protocol Buffers" are language-neutral, platform-neutral, extensible way of serializing structured data for use in communications protocols or data storage. . This package contains Javadoc API for libactivemq-protobuf-java.


ActiViz.NET documentation

ActiViz provides a powerful interface to the Visualization Toolkit (VTK), an object-oriented software system encompassing thousands of algorithms that transform data into interactive 3D environments. . This package contains exhaustive HTML documentation for the all the documented ActiViz.NET C# classes.


Implementation of the Actor Model in C++, development files

The actor-framework library facilitates writing applications based on the actor model in C++. It aims to be lightweight, distributed and simple. . This package contains documentation and examples for the library.


reference documentation for the Ada language (2012 standard)

The Ada Reference Manual is the ISO standard describing the programming language Ada. The annotated manual provides implementors of Ada tools with more background. Both documents are available in HTML, PDF, info, and plain text formats. . This package installs the 2012 version.


reference documentation for the Ada language (2005 standard)

The Ada Reference Manual is the ISO standard describing the programming language Ada. The annotated manual provides implementors of Ada tools with more background. Both documents are available in HTML, PDF, info, and plain text formats. . This package installs the 2005 version.


reference documentation for the Ada language (2020 preview)

The Ada Reference Manual is the ISO standard describing the programming language Ada. The annotated manual provides implementors of Ada tools with more background. Both documents are available in HTML, PDF, info, and plain text formats. . This package installs an unofficial preview of the 2020 version.


Ada rules controller (documentation)

AdaControl verifies that Ada software meets the requirements of a number of parameterizable rules. It is not intended to supplement checks made by the compiler, but rather to search for particular violations of good-practice rules, or to check that some rules are obeyed project-wide. . This package contains the documentation.


Parse, manipulate and translate ADQL queries (API doc)

ADQL is a SQL-like language which includes astronomical facilities to query a database. This language has been defined by the IVOA in the Recommendation of 30 Oct 2008 (Version 2.0) and is mainly used in the Table Access Protocol (TAP). . This package contains the JavaDoc documentation of the package.


documentation for aegis

Aegis provides a framework within which a team of developers may work on many changes to a program independently, and Aegis coordinates integrating these changes back into the master source of the program, with as little disruption as possible. . Aegis simplifies the problems associated with multiple developers and development trees by using a transaction-based approach to version control, along with a web-browsable repository and an integrated testing mechanism.


Adobe Font Development Kit for OpenType (common documentation)

Tools used to make OpenType fonts by adding the OpenType-specific data to a TrueType or Type1 font. . This is the common documentation package.

/main/afl/afl-doc

instrumentation-driven fuzzer for binary formats - documentation

American fuzzy lop is a fuzzer that employs compile-time instrumentation and genetic algorithms to automatically discover clean, interesting test cases that trigger new internal states in the targeted binary. . This package provides the documentation, a collection of special crafted test cases, vulnerability samples and experimental stuff.


instrumentation-driven fuzzer for binary formats - documentation

American fuzzy lop is a fuzzer that employs compile-time instrumentation and genetic algorithms to automatically discover clean, interesting test cases that trigger new internal states in the targeted binary. . This package provides the documentation, a collection of special crafted test cases, vulnerability samples and experimental stuff.


Compiler and run-time for the AFNIX programming language (documentation)

AFNIX is a multi-threaded functional programming language with dynamic symbol bindings that support the object oriented paradigm. The language features a state of the art runtime engine. The distribution is available with several clients and a rich set of modules that are designed to be platform independent. . This package contains the documentation for AFNIX.


Documentation for afterburner.fx

afterburner.fx is a minimalistic JavaFX MVP framework based on Convention over Configuration and Dependency Injection . This package contains the API documentation of libafterburner.fx-java.


dependently typed functional programming language; documentation

Agda is a dependently typed functional programming language: It has inductive families, which are like Haskell's GADTs, but they can be indexed by values and not just types. It also has parameterised modules, mixfix operators, Unicode characters, and an interactive Emacs interface (the type checker can assist in the development of your code). . Agda is also a proof assistant: It is an interactive system for writing and checking proofs. Agda is based on intuitionistic type theory, a foundational system for constructive mathematics developed by the Swedish logician Per Martin-Löf. It has many similarities with other proof assistants based on dependent types, such as Coq, Epigram and NuPRL. . This package provides the documentation for a library for the Haskell programming language. See http://www.haskell.org/ for more information on Haskell.


standard library for Agda — documentation

Agda is a dependently typed functional programming language: It has inductive families, which are like Haskell's GADTs, but they can be indexed by values and not just types. It also has parameterised modules, mixfix operators, Unicode characters, and an interactive Emacs interface (the type checker can assist in the development of your code). . Agda is also a proof assistant: It is an interactive system for writing and checking proofs. Agda is based on intuitionistic type theory, a foundational system for constructive mathematics developed by the Swedish logician Per Martin-Löf. It has many similarities with other proof assistants based on dependent types, such as Coq, Epigram and NuPRL. . The Agda standard library contains modules for many common data structures and proof patterns. Modules provided include: - Algebra: Specifying and reasoning about abstract algebraic structures - Category: Using idioms from category theory to structure functional programs - Coinduction: Support for programming coindutively - Data: Data types and properties about data types - Foreign: Relating to the foreign function interface - Induction: A general framework for induction - IO: Input/output related functions - Level: Universe levels - Relations: Properties of and proofs about relations - Size: Sizes used by the sized types mechanism . This package contains the hyperlinked library documentation.