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
OSI-Approved Open Source (25)
- Academic Free License (2)
- Artistic License (1)
- Attribution Assurance License (1)
- BSD License (2)
- Computer Associates Trusted Open Source License 1.1 (1)
- Eclipse Public License (1)
- GNU General Public License version 2.0 (13)
- GNU General Public License version 3.0 (4)
- GNU Library or Lesser General Public License version 2.0 (3)
- GNU Library or Lesser General Public License version 3.0 (2)
- MIT License (1)
- NASA Open Source Agreement (1)
- Public Domain (2)
- Other License (1)
- Linux (26)
Grouping and Descriptive Categories (17)
- 32-bit MS Windows (NT/2000/XP) (1)
- 64-bit MS Windows (3)
- All 32-bit MS Windows (5)
- All BSD Platforms (6)
- All POSIX (11)
- Classic 8-bit Operating Systems (1)
- OS Independent (2)
- OS Portable (7)
- Project is OS Distribution-Specific (1)
- Project is an Operating System Distribution (1)
- Project is an Operating System Kernel (1)
- Mac (17)
- Windows (17)
- Modern (13)
- BSD (11)
- Android (9)
- Other Operating Systems (6)
- Audio & Video
- Business & Enterprise
- Home & Education
- Science & Engineering
- Security & Utilities
- System Administration
A library and a GUI front-end for fuzzy machine learning2 weekly downloads
Fuzzy sets, logic, numbers; intuitionistic fuzzy sets, fuzzy linguis2 weekly downloads
ZanyBlue: Ada libraries towards a finite element framework
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
Ada contributions : demos of GTKAda, binding to PCRE2 weekly downloads
Eclipse-based plugin for HRT-HOOD and HRT-UML design for Hard Real Time Systems
A fast, unobtrusive and modern cross-platform GUI toolkit. Agar fully exploits hardware acceleration where available, but also supports simple frame-buffer interfaces. Agar is stand-alone and easily portable to new platforms and graphics systems.2 weekly downloads
Ada compiler support for TI MSP430 processors6 weekly downloads
Collection of embedded softwares to control a telescope mount.2 weekly downloads
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
Evex is an "Ada flavored", full-featured run-time expression evaluation library for Ada providing built-in mathematical and string manipulation operators and functions, run-time function definition, and application-provided function registration.
The libadacrypt-dev is a slow crypto library for Ada with a nice API. It is written for the i386 hardware architecture and supports AES, Twofish, 3DES, Serpent SHA, Whirlpool DSA, OAEP-RSA, HMAC, RMAC... Dependencies: make and gnat.
BLibrestez Robotics Software Library Project
A multilanguage conversion of Ekit Opensource Software6 weekly downloads
Discrete Event Gnu Advanced Scheduling for plug-in replacement of pthread compatible applications. Generates deterministic execution runs suitable for discrete event simulations and formal verification.
You’ve likely added a tool to fix one problem and then a different tool to fix another problem. Pretty soon you have multiple instances of the same tool, different tools with overlapping functionality, no ability to collaborate across teams—all resulting in unknown bottlenecks and complicated or no reporting. As a DevOps leader, it’s up to you to balance the autonomy and flexibility of a DevOps approach. But how?Sponsored Listing
It's a tool who shows the concepts of a type of neuronal networks (multi-layers percetron). It's not a real ocr, it's just a little didactical application.
The objectives of OCERA is the design and implementation of a library of free software components for the design of embedded real-time systems. These components will be used to create flexible, configurable, robust and portable embedded applications.2 weekly downloads
Ada Library with R-like data structures, extended UUID support
Hidden world game engine
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)
For 70 years, ACM has helped computing professionals like you to be their most creative, connect to peers, and see what’s next, and inspired them to advance the profession and make a positive impact. It’s why we show up every day. It’s in our DNA. We believe in constantly redefining what computing can and should do. ACM offers the resources, access and tools to help you invent the future. Join ACM! Be creative. Stay connected. Keep inventing.Sponsored Listing
This is an Ada implementation of the Dancing Links X Algorithm as in Donald E. Knuth paper. AdaDLX is used to solve the Eight-Queens puzzle, Sudoku grids and Blocs in Box puzzle.
A Finite States Machine (FSM) implementation in Ada.
An Ada binding to the libplayerc client library of Player/Stage robot platform.
Ai engine. Human computer interfacean questing interface. Using: festival, mbora, ibm viavoice, justin, htk, wget curl. Project original name: TTT Test Told Terminal (1992 comodore 64).
OS based on Agent based Security with a new type of split kernel and agents platform.
GReeTinGS - GReeTinGS is a Real Time Generic Scheduler GreeTingS is an Ada library which intends to provide a generic API to schedule real time tasks using various algorithms. The library contains a few algorithms (RM, EDF, LLF) and is easily extendable
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.