Search Results for "linux software development" - Page 4
Sort By:
Showing 118 open source projects for "linux software development"
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.
-
Earn up to 16% annual interest with Nexo.Put idle assets to work with competitive interest rates, borrow without selling, and trade with precision. All in one platform. Geographic restrictions, eligibility, and terms apply.
-
1
Providing an up to date implementations of Annex E (Distributed Systems) of the ISO standard ISO/IEC 8652:1995/COR1:2000 for GNAT.
-
2
Florist is an open-source implementaton of IEEE Standard 1003.5b-1996, the POSIX Ada binding, including real-time extensions and a test suite.
-
3
Ada framework providing work sharing/seeking services for distributing work amongst CPU cores on multi-core machines.
-
4
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.
-
Gemini 3 and 200+ AI Models on One PlatformBuild generative AI apps with Vertex AI. Switch between models without switching platforms.
-
5
-
6
The objective of CairoAda is to develop an Ada 95/05 binding for Cairo and certain related libraries.
-
7
The Widget Set for Super-Light Applications is a minimalist GUI toolkit written in Pascal. Rendering backends include Xlib, SDL and DirectFB. Visit our trac wiki for more information and updates: http://sourceforge.net/apps/trac/wiseslap
-
8
Ada-engine, more commonly known as eAda, is a MMORPG engine, with which you can make your own game. It is created in Ada 2005, a fast, strongly typed programming language... [continued at project homepage]
-
9
-
Go from Code to Production URL in SecondsSkip the Kubernetes configs. Cloud Run handles HTTPS, scaling, and infrastructure automatically. Two million requests free per month.
-
10
An Ada To ANSI C Compiler targeted towards small embedded systems who lacks an Ada compiler but have an ANSI C Compiler.
-
11
Admiral aims to be an OS written in Ada, making available to the user all the advantages of a well-designed & stable system.
-
12
-
13
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
-
14
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.
-
15
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.
-
16
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
-
17
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.
-
18
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)
-
19
-
20
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.
-
21
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.
-
22
-
23
-
24
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.
-
25
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.
