OSI-Approved Open Source (202)
- GNU General Public License version 2.0 (103)
- GNU Library or Lesser General Public License version 2.0 (38)
- GNU General Public License version 3.0 (24)
- BSD License (16)
- MIT License (15)
- GNU Library or Lesser General Public License version 3.0 (8)
- Academic Free License (4)
- Apache License V2.0 (2)
- Adaptive Public License (1)
- Artistic License (1)
- Attribution Assurance License (1)
- Computer Associates Trusted Open Source License 1.1 (1)
- Eclipse Public License (1)
- ISC License (1)
- Mozilla Public License 1.1 (1)
- Other License (13)
- Public Domain (6)
- Creative Commons Attribution License (2)
- Windows (177)
Grouping and Descriptive Categories (150)
- All POSIX (79)
- OS Portable (59)
- All 32-bit MS Windows (40)
- All BSD Platforms (18)
- OS Independent (18)
- 32-bit MS Windows (15)
- 64-bit MS Windows (15)
- 32-bit MS Windows (6)
- Project is an Operating System Kernel (4)
- Project is an Operating System Distribution (2)
- Classic 8-bit Operating Systems (1)
- Project is OS Distribution-Specific (1)
- Mac (145)
- Android (100)
- BSD (78)
- Modern (70)
- Other Operating Systems (25)
- Emulation and API Compatibility (15)
- Audio & Video
- Business & Enterprise
- Home & Education
- Science & Engineering
- Security & Utilities
- System Administration
The Nexus Operating System is a planned, realtime multimedia operating system compliant with POSIX standards. Nexus is intended not to become the next fad; it is the OS all developers can develop for without losing market standing in other OS's.
The VSR is a repository of tools and challenges in verification (see for example epubs.cclrc.ac.uk/work-details?w=33971). It is part of the international grand challenge on software verification (eg http://vstte.ethz.ch/pdfs/vstte-hoare-misra.pdf)
VSH aims at providing GUI programs with some equivalent to powerful services used when running shell programs, such as standard inputs/outputs and the existence of a well-defined shell context with history, current directory and so on.
This a new instant messenger for unix.
A Web browser with safety focus
Wembe is a clone of Liero (Worms-like in realtime) mainly for Linux (not only) with many additional features like multiplayer over the Internet, singleplayer, better graphics and ability to change anything very easy. Written in Ada, uses Lua and SDL.
This is a Linux service, which monitors the wireless communication status and the available access points. It supports WEP/WPA based security. If the connection is broken, then it reconfigures it. If the link quality is low, but there are better networks
X* is a powerful, extensible programming language that is using an Extensible Entity approach (A very enhanced OOP). I've been programming for the past 10 years with dozens of Programming Languages from different Paradigms... I wanted more.
XML filter and validator. Can remove superfluous xmlns attributes, expand entities etc. (Command line utility.) Rather fast.
XML4Ada95 is a binding to the Apache Xerces package for Ada 95, thus providing the first (and until now only) validating XML-package for Ada 95, making XML-Docs accesible via Standard DOM. For now see www.nodix.de/xml4ada95
XPath In Ada
Xt/Motif bindings for Ada with GUI designer.
Zada is a Zlib implementation fully in Ada. The advantage is its unconditional portability: native compiled code, but no need to worry about endianness or 32 bit or 64 bit versions, or bindings, or DLL's, or whatever.
Projet d'Ada L3 : réaliser le gestionnaire d'un bulletin de notes (énoncé : http://www.univ-orleans.fr/sciences/info/ressources/webada/Fiches/Paresseux/sujet/enonce.html?maintitle=mini-projet)
Avalgrind is an Ada binding to the programmatic API of the Valgrind toolset.
DirectX binding to Ada
The domain name system has a tree like structure just like an ordinary file system. This small program could be used to browse it in a similar way as the ordinary file system. The domain name servers just have to allow zone transfer.
Ada-engine, more commonly known as eAda, is a MMORPG engine, with which you can make your own game. It is created in Ada 2005, a fast, strongly typed programming language... [continued at project homepage]
Ai engine. Human computer interfacean questing interface. Using: festival, mbora, ibm viavoice, justin, htk, wget curl. Project original name: TTT Test Told Terminal (1992 comodore 64).
A JVM written in Ada 2005.
Implamentation library for Simatic S5/S7 communication. Based on libnodave.
Projet informatique dans le cadre de l'université Paul Sabatier à toulouse en IUP ISI. Ce projet consiste à creer un reseaux telephonique en temps réelle en ADA et C++
Safety Critical Distributed building management system for a community. This section of the project represents the Ada server servicing requests and sensor data from the 802.15.4 network automation.
An Ada wrapper library for the wxWidgets GUI library
Z9basic application and database environment