Search Results for "zlib-ada" - Page 4
Sort By:
Showing 106 open source projects for "zlib-ada"
View related business solutions-
MongoDB Atlas runs apps anywhereMongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
-
$300 Free Credits to Build on Google CloudStart your next project with $300 in free Google Cloud credit. Spin up VMs, run containers, query petabytes in BigQuery, or build agents with Gemini Enterprise Agent Platform. Once your credits are used, keep building with 20+ always-free tier products including Compute Engine, Cloud Storage, GKE, and Cloud Run functions. No commitment required—just sign up and start building.
-
1
-
2
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
-
3
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.
-
4
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.
-
Build Agents and Models on One PlatformGemini Enterprise Agent Platform is Google Cloud's comprehensive platform for developers to build, scale, govern, and optimize agents and models. Choose from Google's most advanced models and third-party models like Anthropic's Claude Model Family.
-
5
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
-
6
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.
-
7
-
8
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)
-
9
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.
-
AI-powered service management for IT and enterprise teamsGive your IT, operations, and business teams the ability to deliver exceptional services—without the complexity. Maximize operational efficiency with refreshingly simple, AI-powered Freshservice.
-
10
Multifunctional development tool. Contains: Compiler, DBMS Libs, Network Libs, Forms support, IDE. Can be used as CRM or CMS system. Also it can compile and run some applications. Supports GCC. Interfaces: CLI, Terminal, CGI. GNAT requires.
-
11
-
12
-
13
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.
-
14
This is a logging API for Ada. It's not a port of log4j. This library seeks to be ultra-flexible whereas log4j was designed to be efficient. The design is essentially a graph of message stream arcs and message processing nodes.
-
15
GEL is a collection of embedded libraries and examples for 68HC11 and 68HC12 microcontrollers. It provides various embedded libraries like: - a small libc - an event driven library - LCD 128x64 graphical library - robot library
-
16
Ada to GXL is a factextractor translating from Ada Source code to the Graph eXchange Language (http://www.gupro.de/GXL/) to support reengineering. The Ada ASIS library and the GNAT compiler will be used for the translation.
-
17
A GNAT/Ada95 GNU autotools project generator. Adaprojet quickly setups an entire GNU autools project for Ada with a few simple commands. Adaprojet makes it easy to use the familiar configure, make, and make install with Ada.
-
18
-
19
G3C provides the main features for 3D-game developers: 3D rendering engine based on openGL, collision detection, physical rules, p2p network... A game-sample will be avaible, binding a wargame, a flight simulator, a first person shooter, a MMOG...
-
20
AdaPackageTesting is a tool for developers using the Ada95 programming language. With him, it's very fast to create the structure of a test program based of the package specifications (.ads).
-
21
To port the excellent and widely used GNAT package heirarchy to other Ada95 compilers - primarly Aonix ObjectAda/Windows - by removing the GNAT specific language extensions.
-
22
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
-
23
Parallel Port Eprom Programmer contains a GNU/Linux driver that controls the eprom programmer throught the parallel port and a tool which allows reading and writing eproms.
-
24
-
25
