OSI-Approved Open Source (198)
- 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 (21)
- BSD License (16)
- MIT License (14)
- 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 (172)
Grouping and Descriptive Categories (148)
- All POSIX (79)
- OS Portable (58)
- All 32-bit MS Windows (40)
- All BSD Platforms (18)
- OS Independent (18)
- 32-bit MS Windows (14)
- 64-bit MS Windows (14)
- 32-bit MS Windows (5)
- 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 (137)
- Android (95)
- BSD (77)
- Modern (68)
- Other Operating Systems (23)
- Emulation and API Compatibility (14)
- Audio & Video
- Business & Enterprise
- Home & Education
- Science & Engineering
- Security & Utilities
- System Administration
LibSonic is a library used in Genesis Sonic ROM modification. various data formats are supported, anywhere from a single color, to an entire level.
An Ada sublanguage compiler. For educational purposes only.
MacBethDNS project is to create an open source DNS Server written in Ada.
Logiciel de partage de fichiers pour l'INSA Toulouse (réseau basé principalement sur du VPN)
Multilingual Typesetting System (MTS), Use unicode to typeset multilingual document.
This project is for Ada developers who would like to develop Ada applications for the Lego Mindstorms NXT.
Traditional arcade games require players to deposit money in the machines in order to keep playing. Players can then continue the game in order to try to advance to the next level and beat the enemies, luckily for arcade game.
OpenCAGE (Open Computer Aided Graph Editor) is a generic graph editor. It is written in Ada95 and GtkAda.
Opiate Games is a collective of designers, programmers, planners, and modelers. We focus on Modifications to popular engines and are currently working on a revolutionary graphics rendering API of our own. Opiate games currently have two projects underway
This classic Othello game is completely written in Ada and GtkAda for Linux.
Offer a simple solution for two users doing P2P video conference
A comprehensive library of algorithms in multiple languages, each having a detailed proof of correctness.
The counter-example generator for SPARK
OS based on Agent based Security with a new type of split kernel and agents platform.
A simple (almost a demo) ERP written using the AdaWorks framework (http://adaworks.net/adaworks)
Simple, interface oriented input/process/output framework for Ada.
SEDModeEd is a GUI mode editor. It can create and modify modefiles for the RISC OS text editor StrongED.
Data structures ('containers') and basic algorithms library for the Ada programming language, emphasising easy use, flexible implementation, and good documentation.
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