ThousandEyes extends visibility across corporate networks as well as the public Internet, helping to solve issues from the branch through MPLS links and SIP trunks to service provider networks. Simulate pre-deployment capacity, monitor detailed performance metrics and see how QoS settings impact call quality.Sponsored Listing
OSI-Approved Open Source (228)
- GNU General Public License version 2.0 (115)
- GNU Library or Lesser General Public License version 2.0 (38)
- GNU General Public License version 3.0 (35)
- BSD License (19)
- MIT License (16)
- GNU Library or Lesser General Public License version 3.0 (8)
- Academic Free License (5)
- Apache License V2.0 (3)
- Adaptive Public License (2)
- Artistic License (2)
- Attribution Assurance License (2)
- 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 (4)
- Linux (233)
- Windows (201)
Grouping and Descriptive Categories (169)
- All POSIX (80)
- OS Portable (60)
- All 32-bit MS Windows (53)
- 32-bit MS Windows (22)
- 64-bit MS Windows (21)
- All BSD Platforms (19)
- OS Independent (18)
- 32-bit MS Windows (8)
- 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 (150)
- Android (101)
- Modern (85)
- BSD (81)
- Other Operating Systems (26)
- Emulation and API Compatibility (22)
- Audio & Video
- Business & Enterprise
- Home & Education
- Science & Engineering
- Security & Utilities
- System Administration
- Programming Language: Ada ×
The counter-example generator for SPARK
Everything for the best Polish UDP LAN communicator Wszystko dla najlepszego polskiego chata sieciowego - RivChat
Professional music typesetting, according to the book "The Art Of Music Copying" by Clinton Roemer. Reads MusicXML, CMN, ABC and Guido. Produces MIDI, EPS, PDF, PNG and SVG; from small images for the web to full printable sheet music.
Easily access more than 100,000 products and tools with our robust search engine. Manage your entire IT lifecycle from purchase to renewal all in one place — so you can get more done faster.Sponsored Listing
OS based on Agent based Security with a new type of split kernel and agents platform.
SPARKUnit is a unit test framework for the SPARK programming language. It enables developers to create unit tests which can be analysed by the SPARK Examiner. This allows for testing of operations with preconditions and flow analysis of test cases.
For Truly Distributed Systems
A security intensive kernel written in Ada.
A simple (almost a demo) ERP written using the AdaWorks framework (http://adaworks.net/adaworks)
If you'd like to spend less time on integrating data sources and focus on more fun stuff, give Talend Open Studio a try. It's free and open source.Sponsored Listing
Smart_Arguments is designed to simplify the use of command line arguments. The built in Ada facilities for command line argument processing are very basic. This package provide a higher level facility for dealing with command lines.
Simple, interface oriented input/process/output framework for Ada.
String editing and formatting library for Ada
SEDModeEd is a GUI mode editor. It can create and modify modefiles for the RISC OS text editor StrongED.
Text-Oriented Messaging Interfaces for Ada. Wrappers for various client/server and pub/sub messaging protocols, focusing exclusively on text message communications. Currently supporting AMQP, STOMP, and ZeroMQ.
Lose the spreadsheets. Get Infoblox DDI: Consolidate DNS, DHCP, IP address management into a single platform. Orchestrate DDI functions for hybrid & public cloud & virtual & private cloud environments. Access rich reporting & analytics capabilities for capacity planning & asset management. Boost IT efficiency & automation with seamless RESTful API integration.Sponsored Listing
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.
UniParser is a parser toolkit for creating grammar parsers of streams (of e.g. Unicode characters) with Ada 95 programming language. (If you will request, I may port it to C++.) Very feature rich, flexible, and extensible; however somehow slow and bloate
This a new instant messenger for unix.
A code template tool for VHDL development which outputs to the clipboard - this means it can be used with any tool. Written in Ada, using GTK. Runs on Windows XP and Linux with common source code
WLAN 802.11 frame analyzer with educational purposes it will show on different windows : the measures, the MAC data frames, the MAC control frames... Programmed for linux systems using ADA. keywords: ADA, wifi, 802.11, ENST.
WTelecom is a RealTime Software to manage a telecom network. This prototype can be implemented for a production use.
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