Category/Software-development

Broaden your selection:

Use

Category/Software-development

• bug-tracking-system
• compiler
• database-application-development
• debugging
• game-development
• model-checker
• program-build-automation
• program-editor
• programming-language
• programming-language-conversion
• shell
• small-specific-development-task
• specification-tool
• version-control

Software-development (1307)

4tH

4tH is a Forth compiler with a little difference. Instead of the standard Forth engine it features a conventional compiler. 4tH is a very small compiler that can create bytecode, C-embeddable bytecode, standalone executables, but also works fine as a scripting language. It supports about 95% of the ANS Forth CORE wordset and features conditional compilation, pipes, files, assertions, forward declarations, enumerations, structures, suspended execution, recursion, include files, etc. It comes with an RPN calculator, line editor, preprocessor, compiler, decompiler, C-source generator, a virtual machine, and a multitasking environment.

A Bingo

Rails A/B testing. One minute to install. One line to set up a new A/B test. One line to track conversion.

A+

A+ is a powerful and efficient programming language. It has a rich set of functions and operators, a modern GUI with many widgets and automatic synchronization of widgets and variables, asynchronous execution of functions associated with variables and events, dynamic loading of user compiled subroutines, and many other features. Execution is by a rather efficient interpreter. It is mainly used in a computationally-intensive business environment, but many critical applications written in A+ have withstood the demands of real world developers over many years. It is written in an interpreted language, so applications tend to be portable.

ACDK

ACDK is a development framework with a similar target of Microsoft's .NET or Sun's ONE platform, but instead of using Basic/C# or Java as programming language, it bases C++ as core implementation language. ACDK implements the standard library packages, including acdk::lang, acdk::lang::reflect, acdk::util, acdk::io, acdk::text (including regexpr), acdk::net, acdk::sql, acdk::xml and more, as well as technologies like flexible Allocator/Garbage Collection, Threading and Unicode. With the extensions of ACDK C++ objects are available for reflection, serialization, aspect oriented class attributes and [D]ynamic [M]ethod [I]nvocation. This DMI act as an universal object oriented call interface to connect C++ with scripting languages (Java, Perl, Tcl, Python, Lisp, Visual Basic, VBScript) and standard component technologies (CORBA, COM+).

ACL2

ACL2 is a mathematical logic and a mechanical theorem prover to help you reason in the logic (which is a subset of applicative Common Lisp). The theorem prover is an ``industrial strength version of the Boyer-Moore theorem prover, Nqthm. Users can build models of all kinds of computing systems in ACL2, just as in Nqthm, even though the formal logic is Lisp. Once you've built an ACL2 model of a system, you can run it and use ACL2 to prove theorems about the model.

ADG: Automatic Drawing Generation

The ADG library (Automatic Drawing Generation) is a set of functions focused on automating the drawing of mechanical parts. It is not a CAD system but a library providing a non-interactive canvas where you can put common CAD entities such as paths, xatches and quotes, to create your technical drawings. The final result can be displayed inside a GTK+ widget or exported to any cairo available format, such as PostScript and PDF documents or PNG and SVG images.

AGFL

AGFL is a parser generator for natural languages. It can cope with ambiguity, which is a must for natural languages, has a lexicon system and is quite fast. If you don't know what to think of it, think "yacc" (or "bison") without shift-reduce conflicts.

AKFAvatar

AKFAvatar is a fancy graphical user interface for applications, where an avatar appears on the screen and tells things to the user via a speech bubble. There can also be recorded audio files, so that the user even can hear what it is saying.

With AKFAvatar you can easily write cross platform applications in Lua. Lua scripts don't even need to be compiled for the target platform. It has an interface for C programs, which can also be used for Objective-C or C++. Furthermore there are bindings for Free Pascal and GNU-Pascal.

ARts

'aRts' is a framework for developing modular multimedia applications. The sound server, artsd, lets multiple applications cooperatively process and output sound and music. aRts provides its filter and synthesis capabilities to other applications using the multimedia communication protocol (MCOP). The package is also capable of modular realtime synthesis. It can create sounds & music (realtime midi synthesis) using small modules like oscillators for creating waveforms, various filters, mixers, faders, etc. As of Dec 02, 2004, development on this project has been discontinued.

AVFS

A Virtual File System lets programs look inside archived or compressed files, or access remote files without recompiling the programs or changing the kernel. It currently supports floppies, tar and gzip files, zip, bzip2, ar and rar files, ftp sessions, http, webdav, rsh/rcp, ssh/scp. Quite a few other handlers are implemented with the Midnight Commander's external FS.

… further results