Broaden your selection:
- 0 A.D.
- 0 A.D. (pronounced “zero ey-dee”) is a real-time strategy (RTS) game of ancient warfare.
In short, it is a historically-based war/economy game that allows players to relive or rewrite the history of Western civilizations, focusing on the years between 500 B.C. and 500 A.D.
The project is highly ambitious, involving state-of-the-art 3D graphics, detailed artwork, sound, and a flexible and powerful custom-built game engine.
- 3dpl GE
- 3dpl GE the 3D Programming Language Gaming Environment, is mainly a learning tool for novice programmers and children. Aiming at reintroducing the concept of coding to computers the way we used to have BASIC on older systems, but this is 3D, it also features a Modeling tool which is similar to Minecraft, the models can then be programmed to do anything you want. This is a full featured language so it can be used for other applications such as CAD and just for playing games made in 3dpl. It is also real-time interpreted.
- 4store is a database storage and query engine that holds RDF
4store's main strengths are its performance, scalability and stability. It does not provide many features over and above RDF storage and SPARQL queries, but if your are looking for a scalable, secure, fast and efficient RDF store, then 4store should be on your shortlist.
- 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 set of SUID programs make 9p filesystem support by the Linux kernel easier.
- 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.
- Automates most tasks used for streaming.
Was used during LibrePlanet 2015 and 2016.
ABYSS was previously know as Libre-Streamer.
- 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.