OSI-Approved Open Source (217)
- GNU General Public License version 2.0 (113)
- GNU Library or Lesser General Public License version 2.0 (38)
- GNU General Public License version 3.0 (28)
- BSD License (19)
- MIT License (15)
- GNU Library or Lesser General Public License version 3.0 (8)
- Academic Free License (4)
- Apache License V2.0 (3)
- Artistic License (2)
- Attribution Assurance License (2)
- Adaptive Public License (1)
- Apache Software License (1)
- Apple Public Source License (1)
- Computer Associates Trusted Open Source License 1.1 (1)
- Eclipse Public License (1)
- Other License (13)
- Public Domain (9)
- Creative Commons Attribution License (3)
- Linux (221)
- Windows (193)
Grouping and Descriptive Categories (165)
- All POSIX (79)
- OS Portable (59)
- All 32-bit MS Windows (52)
- 32-bit MS Windows (20)
- 64-bit MS Windows (19)
- All BSD Platforms (19)
- OS Independent (18)
- 32-bit MS Windows (7)
- 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 (140)
- Android (95)
- BSD (78)
- Modern (76)
- Other Operating Systems (23)
- Emulation and API Compatibility (20)
- Audio & Video
- Business & Enterprise
- Home & Education
- Science & Engineering
- Security & Utilities
- System Administration
- Programming Language: 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
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.