Top Apps
- Audio & Video
- Business & Enterprise
- Communications
- Development
- Home & Education
- Games
- Graphics
- Science & Engineering
- Security & Utilities
- System Administration
Showing page 5 of 6.
-
Bachar (kernel for AdaOS, IA-32 v1) Project to create a new microkernel for AdaOS. Intended to be especially suited to Ada programming language, but will have pragmatic design which is actually language neutral. Will be practical, general-purpose, and secure, but otherwise minimal.
0 weekly downloads -
C2Ada C2Ada is a translator from the C programming language to the Ada programming language.
0 weekly downloads -
CGNU project CGNU (Clean GNU) aims to use modern documentation technologies to clean the GNU project of bitrot and outdated build technology.
0 weekly downloads -
CORBA Explorer Graphical browser for CORBA services.
0 weekly downloads -
Checkstyle4Ada Checkstyle4Ada provides an extension to Checkstyle, which enables Checkstyle to be used with Ada95 sources. It is packaged as an Eclipse fragment, so it can be used with eclipse-cs without modification.
0 weekly downloads -
Chinese Lunar Calendar (Nong Li) This is a easy-to-use Chinese Lunar Calendar Under *nix &BSD.
0 weekly downloads -
DAWS (Distributed Ada Web Server) DAWS is fast and scalable web server capable of running on a cluster. DAWS is written entirely in Ada.
0 weekly downloads -
ECLAT (Ada 2005 Compiler) Experimental Compiler Library And Tools. Complete Ada 2005 compiler, written in Ada 2005 using literate programming techniques. Initially to target Bachar IA-32 v1 kernel for AdaOS (project 'bachar').
0 weekly downloads -
FREE HardRealTime tool Eclipse-based plugin for HRT-HOOD and HRT-UML design for Hard Real Time Systems
0 weekly downloads -
FracAda FracAda is the Ada 2005 implementation of the Fractal component model [http://fractal.ow2.org/] It is an experimental project using the GNAT (GPL) compiler
0 weekly downloads -
GLADE for GNAT Providing an up to date implementations of Annex E (Distributed Systems) of the ISO standard ISO/IEC 8652:1995/COR1:2000 for GNAT.
0 weekly downloads -
Graphical Navigation and Analysis Tool Giant enables fast browsing of large graphs with enhanced analysis features like multiple selections and a fully integrated scripting language.
0 weekly downloads -
IE/M I'm trying to make this the best image maker/editor in the world.
0 weekly downloads -
Irin Irin is an online role-playing game set in a mediaeval land. Features simulated organic creatures with evolved motions. Provides a reusable framework for distributed virtual reality simulations.
0 weekly downloads -
Jumbolino - The Open Source Aircraft Jumblino is the open source aircraft development project, targeting the complete development of a community aircraft. Complete community control of the aircraft parametrics will lead to the etraordinary development.
0 weekly downloads -
LibSonic LibSonic is a library used in Genesis Sonic ROM modification. various data formats are supported, anywhere from a single color, to an entire level.
0 weekly downloads -
Medor VPN Logiciel de partage de fichiers pour l'INSA Toulouse (réseau basé principalement sur du VPN)
0 weekly downloads -
NXT Ada This project is for Ada developers who would like to develop Ada applications for the Lego Mindstorms NXT.
0 weekly downloads -
OpenCAGE OpenCAGE (Open Computer Aided Graph Editor) is a generic graph editor. It is written in Ada95 and GtkAda.
0 weekly downloads -
Othello This classic Othello game is completely written in Ada and GtkAda for Linux.
0 weekly downloads -
Perfected Library A comprehensive library of algorithms in multiple languages, each having a detailed proof of correctness.
0 weekly downloads -
Riposte The counter-example generator for SPARK
0 weekly downloads -
SNA OS OS based on Agent based Security with a new type of split kernel and agents platform.
0 weekly downloads -
Safir SDK Core The Safir SDK Core development platform/middleware
0 weekly downloads -
Snapthru Simple, interface oriented input/process/output framework for Ada.
0 weekly downloads
