Semantic search

Jump to: navigation, search
Search

Edit query Show embed code

The query [[Programming-language::C]] was answered by the SMWSQLStore3 in 0.0137 seconds.


Results 11 – 20    (Previous 10 | Next 10)   (20 | 50 | 100 | 250 | 500)   (JSON | CSV | RSS | RDF)


Analog
It is fast, easy to install and run, very flexible, features multi-language support, produces attractive output, can be run directly or from a form interface, understands any logfile format, and works on any operating system. It can report in 36 languages.
AngelScript
The AngelCode Scripting Library, or AngelScript as it is also known, is an extremely flexible cross-platform scripting library designed to allow applications to extend their functionality through external scripts. Featuring a syntax similar to C/C++, it has been designed from the beginning to be an easy to use component, both for the application programmer and the script writer.
Anjuta
Anjuta is a development IDE. Current features include project management, application wizards, an on-board interactive debugger, and a source editor with source browsing and syntax highlighting.
Antidote
Antidote is an open source implementation of the IEEE 11073-20601 standard. It also contains the implementation of a D-Bus based 11073 manager service.
Anubis Heckert gnu.tiny.png
Anubis is an SMTP message submission daemon. It represents an intermediate layer between mail user agent (MUA) and mail transport agent (MTA), receiving messages from the MUA, applying to them a set of predefined changes and finally inserting modified messages into an MTA routing network. The set of changes applied to a message is configurable on a system-wide and per-user basis. The built-in configuration language used for defining sets of changes allows for considerable flexibility and is easily extensible. GNU Anubis can edit outgoing mail headers, encrypt and/or sign mail with the GNU Privacy Guard, build secure SMTP tunnels (Simple Mail Transport Protocol) using the TLS/SSL encryption even if your mail user agent doesn't support it, or tunnel a connection through a SOCKS proxy server.
Apache HTTP Server
The Apache HTTP Server is a powerful and flexible HTTP/1.1 compliant web server. Originally designed as a replacement for the NCSA HTTP Server, it has grown to be the most popular web server on the Internet. It features support for HTTPS, virtual hosting, CGI, SSI, IPv6, easy scripting and database integration, request/response filtering, many flexible authentication schemes, and more.
Archimedes Heckert gnu.tiny.png
Archimedes is a free package for semiconductor device simulations. It is intended to assist engineers in designing and simulating submicron and mesoscopic semiconductor devices based on the Ensemble Monte Carlo method. It is able to handle a wide variety of materials and structures, which are described through simple scripts. It is a 2D Monte Carlo simulator which can take into account all the relevant quantum effects by means of Bohm effective potential. The description of the device is very general and made by means of a simple script language, which makes GNU Archimedes a powerful tool for the simulation of quite general 2D semiconductor devices. Some very interesting results have been obtained and they will be put, as soon as possible, on the web page (some results are already available in the documentation).
Argp
A wrapper for getopt(1) which provides the major features of argp_parse(3) to bash scripts. Scripts pipe their option descriptions (flat file or XML) to argp.sh to generate the code for getopt(1). Also, argp.sh automatically generates help (--help) or a man-page skeleton. Requires bash-3+. There is a c-version argp.c which calls argp_parse(3) directly if speed is an issue.
Aria
Aria is a download tool similar to Reget or GetRight. It downloads files from the Internet via HTTP or FTP. The transfer can be paused, resumed, queued, and saved. You can paste URLs from the clipboard, pasting as many as you want at a time. It has a friendly GTK-based GUI and useful log consoles. It supports URL list import, CRC checking, an HTTP proxy server, HTTP recursive downloads, defining specific file retrieval procedures for particular servers, and cut-and-paste.
Aris Heckert gnu.tiny.png
A sequential proof program, designed to assist anyone interested in solving logical proofs. Aris supports both propositional and predicate logic, as well as Boolean algebra and arithmetical logic in the form of abstract sequences. It uses a predefined set of both inference and equivalence rules, however gives the user options to use older proofs as lemmas, including Isabelle's Isar proofs.


Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.3 or any later version published by the Free Software Foundation; with no Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts. A copy of the license is included in the page “GNU Free Documentation License”.

The copyright and license notices on this page only apply to the text on this page. Any software or copyright-licenses or other similar notices described in this text has its own copyright notice and license, which can usually be found in the distribution or license text itself.