With over 15 years’ experience in the IT field, SysAid serves over 100K admins globally. Our unique help desk/ITSM solution is built to serve all your IT needs. SysAid provides one centralized system for: information, actions, communication, reporting, support, knowledge & more. Our easy to use ticketing system facilitates over 82M tickets a year, supporting over 2000 organizations in the US alone. We’ve been translated to more than 40 languages.Does your company have more than 1,000 employees?Do you plan to purchase Service Desk/ITSM software within the next 6 months?One last question before you visit our site:
Is your annual budget for Service Desk/ITSM software greater than $8,000?Advertisement
OSI-Approved Open Source (128)
- Academic Free License (4)
- Adaptive Public License (1)
- Apache License V2.0 (2)
- Artistic License (1)
- Attribution Assurance License (1)
- BSD License (13)
- Computer Associates Trusted Open Source License 1.1 (1)
- GNU General Public License version 2.0 (56)
- GNU General Public License version 3.0 (18)
- GNU Library or Lesser General Public License version 2.0 (24)
- GNU Library or Lesser General Public License version 3.0 (6)
- ISC License (1)
- MIT License (15)
- NASA Open Source Agreement (1)
- wxWindows Library Licence (1)
- Other License (7)
- Creative Commons Attribution License (4)
- Public Domain (4)
- Linux (148)
- Windows (138)
- Android (100)
Grouping and Descriptive Categories (89)
- 32-bit MS Windows (95/98) (2)
- 32-bit MS Windows (NT/2000/XP) (3)
- 64-bit MS Windows (14)
- All 32-bit MS Windows (17)
- All BSD Platforms (19)
- All POSIX (22)
- Classic 8-bit Operating Systems (1)
- OS Independent (18)
- OS Portable (52)
- Project is OS Distribution-Specific (1)
- Project is an Operating System Distribution (2)
- Project is an Operating System Kernel (4)
- Modern (23)
- BSD (22)
- Other Operating Systems (14)
- Audio & Video
- Business & Enterprise
- Home & Education
- Science & Engineering
- Security & Utilities
- System Administration
This project contains various examples, ported from Qt4 C++ to Ada language1 weekly downloads
It is (no stack based!) VM in a form of a library. It supports different language paradigms without data type restrictions, allows both interpretation and JIT, produces a fast code. Our goal - to have a GENERIC and POWER tool for code migration.
3D slider puzzles for kids
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.
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.
A software components library
A security intensive kernel written in Ada.
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.
Tables indexed by strings
Data structures ('containers') and basic algorithms library for the Ada programming language, emphasising easy use, flexible implementation, and good documentation.
Retro puzzle games for any terminal, any O.S.
This project provides binary packages for the Ada front end of GNU compiler collection. The project also provides various Ada libraries like the Ada Web Server and Ada aware Integrated Development Environments (gps and vim).51 weekly downloads
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)
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
Handling dimensioned values in Ada
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
The Demonstrations Programs for the Wikibook "Ada Programming".3 weekly downloads
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.