Broaden your selection: Category/Interface
- 123sqlengine is a functional relational database engine still under development but featuring fully original database engine design
- 2wm is an extremely fast, small, and dynamic window manager for X. It is the little brother of dwm.
- 'GNU 3DLDF' is a 3D graphics package with MetaPost output. It is written in C++ using CWEB and includes documentation. The current stable release of GNU 3DLDF, 188.8.131.52, doesn't include an input routine, so user code must be written in C++, compiled, and linked with the rest of the program. However, the current development versions, collectively numbered 184.108.40.206 and available here, implement an interpreter for a Metafont-like language, so that GNU 3DLDF can be used interactively. Please see the GNU 3DLDF homepage, for more information.
- 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+ 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.
- a2png converts plain text into PNG images. You can select which font to use and output dimensions. Text can either be read from files or standard input. This program uses either the Cairo Graphics library or the GD library for the rendering.
- Program started as a text to PostScript converter, with pretty printing and all the expected features of this kind of program, but it can now handle other file types (PostScript, Texinfo, DVI, web-authoring, PDF, etc.) provided you have the necessary tools. While highly configurable, everything was designed so that even a novice can do complicated PostScript manipulations. For instance, the program can delegate the processing of some files to other filters (such as groff, texi2dvi, dvips, gzip,etc.) which allows a uniform treatment (n-up, page selection, duples, etc.) of heterogeneous files It also includes support for a wide range of programming languages, encodings (ISO Latins, Cyrillic, etc.), medias, and Native Language Support (NLS).
- 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 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.